Symbol: dbg_is_chk_gen