u.insertBefore(Baf.v().newPushInst(LongConstant.v(longmask)), unit);
u.insertBefore(Baf.v().newAndInst(LongType.v()), unit);
u.insertBefore(Baf.v().newXorInst(LongType.v()), unit);
u.insertBefore(Baf.v().newStoreInst(LongType.v(), nloc), unit);
u.remove(unit);
u.insertBefore(Baf.v().newPushInst(LongConstant.v(longmask)), unit);
u.insertBefore(Baf.v().newAndInst(LongType.v()), unit);
u.insertBefore(Baf.v().newXorInst(LongType.v()), unit);
u.insertBefore(Baf.v().newStoreInst(LongType.v(), nloc), unit);
u.remove(unit);