Symbol: insns_need_simulation