Procedure console-pipe-process-terminated? is a C function defined in [dezyne.cc:1237]

console_pipe_process_terminated_p