function debug_message(arg0) { if (global.debug == 1) show_debug_message(arg0); }