Appearance
debug_message() - logs a debug message
void debug_message(string msg);
Prints the given message on the <stderr> file desciptor of the driver and appends it to the debug log.