MODULE LongModule = Module (LInt, LongPlus, LongTimes, LongMinus, LongDivide, LongMod, LongLT, LongLE, LongGT, LongGE, LongAnd, LongOr, LongXor, LongNot, LongShift, LongRotate, LongExtract, LongInsert) END LongModule.