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