Procedure console-delete-process is a C function defined in [dezyne.cc:1297]

console_delete_process