mark_jmp_point
mark_jmp_point(env, w);
mark_jmp_point(env, t + insn_sz);
mark_jmp_point(env, t);
mark_jmp_point(env, t + off + 1);