Symbol: dbg_is_chk_index