Symbol: echo_debug_printf