MulMod_2x() automagic partially implemented