Symbol: dbg_gen