$debug_log()$