insn_check() ready