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

console_pipe_process_interrupt