function debug_message(arg0) { }