Procedure console-pipe-open is a C function defined in [dezyne.cc:1217]

console_pipe_open