Symbol: is_dbg