Procedure console-pipe-process-terminate is a C function defined in [dezyne.cc:1286]

console_pipe_process_terminate