void debug_perror(const char *s);
debug_perror displays the optional string s on the Debug Terminal together with a string corresponding to the errno value of the last Debug IO operation.