Symbol: __db_debug_print