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

console_pipe_read