Symbol: __db_debug_args