u.insertBefore(Baf.v().newAndInst(LongType.v()), unit);
u.insertBefore(Baf.v().newLoadInst(LongType.v(), nloc), 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.insertBefore(Baf.v().newAndInst(LongType.v()), unit);
if (index > 0) {
u.insertBefore(Baf.v().newPushInst(IntConstant.v(index)), unit);
u.insertBefore(Baf.v().newLoadInst(LongType.v(), nloc), unit);
u.insertBefore(Baf.v().newPushInst(LongConstant.v(longmask)), unit);
u.insertBefore(Baf.v().newAndInst(LongType.v()), unit);
if (index > 0) {
u.insertBefore(Baf.v().newPushInst(IntConstant.v(index)), unit);
u.insertBefore(Baf.v().newLoadInst(LongType.v(), nloc), 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);