If debug_reload takes a FILE * argument it should permit NULL and use stderr in that case. That would make it possible to call the function from a debugger; on most systems it is inconvenient to compute the value of stdout or stderr in a debugger.