verifier_remove_insns
err = verifier_remove_insns(env, i, j);
err = verifier_remove_insns(env, i, 1);