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

console_pipe_error-read