λ x x0 : word64 * word64 * word64 * word64,
Interp-η
(λ var : Syntax.base_type → Type,
 λ '(x8, x9, x7, x5, (x14, x15, x13, x11))%core,
 uint64_t x17, uint64_t x18 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x11);
 uint64_t x20, uint64_t x21 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x13);
 uint64_t x23, uint64_t x24 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x15);
 uint64_t x26, uint64_t x27 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x14);
 uint64_t x29, uint64_t x30 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x17);
 uint64_t x32, uint64_t x33 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x30, Return x18, Return x20);
 uint64_t x35, uint64_t x36 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x33, Return x21, Return x23);
 uint64_t x38, uint64_t x39 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x26, Const 18446744073709551616 * x27);
 uint64_t x41, uint64_t x42 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x24, Return x38);
 uint64_t x43 = x39 + x42;
 uint64_t x45, uint64_t x46 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x36, Return x41);
 uint128_t x47 = (uint128_t) x43 + x46;
 uint64_t x49, uint64_t x50 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x29);
 uint64_t x52, uint64_t x53 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x50, 0x0, Return x32);
 uint64_t x55, uint64_t x56 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x53, 0x0, Return x35);
 uint64_t x58, uint64_t x59 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x56, 0x0, Return x45);
 uint64_t x61, uint64_t x62 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x59, 0x0, Return x47);
 uint64_t x64, uint64_t _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x49, 0x1);
 uint64_t x67, uint64_t x68 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0xffffffffffffffffL);
 uint64_t x70, uint64_t x71 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, Const 4294967295);
 uint64_t x73, uint64_t x74 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0x0);
 uint64_t x76, uint64_t x77 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, Const 18446744069414584321);
 uint64_t x79, uint64_t x80 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0x0);
 uint64_t x82, uint64_t x83 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x67);
 uint64_t x85, uint64_t x86 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x83, Return x68, Return x70);
 uint64_t x88, uint64_t x89 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x86, Return x71, Return x73);
 uint64_t x91, uint64_t x92 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x89, Return x74, Return x76);
 uint64_t x94, uint64_t x95 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x79, (uint64_t) (Const 18446744073709551616) * x80);
 uint64_t x97, uint64_t x98 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x77, Return x94);
 uint64_t x99 = x95 + x98;
 uint64_t x101, uint64_t x102 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x92, Return x97);
 uint64_t x103 = x99 + x102;
 uint64_t _, uint64_t x106 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x49, Return x82);
 uint64_t x108, uint64_t x109 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x106, Return x52, Return x85);
 uint64_t x111, uint64_t x112 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x109, Return x55, Return x88);
 uint64_t x114, uint64_t x115 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x112, Return x58, Return x91);
 uint64_t x117, uint64_t x118 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x115, Return x61, Return x101);
 uint64_t x120, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x118, Return x62, Return x103);
 uint64_t x123, uint64_t x124 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x11);
 uint64_t x126, uint64_t x127 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x13);
 uint64_t x129, uint64_t x130 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x15);
 uint64_t x132, uint64_t x133 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x14);
 uint64_t x135, uint64_t x136 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x123);
 uint64_t x138, uint64_t x139 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x136, Return x124, Return x126);
 uint64_t x141, uint64_t x142 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x139, Return x127, Return x129);
 uint64_t x144, uint64_t x145 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x132, Const 18446744073709551616 * x133);
 uint64_t x147, uint64_t x148 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x130, Return x144);
 uint64_t x149 = x145 + x148;
 uint64_t x151, uint64_t x152 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x142, Return x147);
 uint128_t x153 = (uint128_t) x149 + x152;
 uint64_t x155, uint64_t x156 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x108, Return x135);
 uint64_t x158, uint64_t x159 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x156, Return x111, Return x138);
 uint64_t x161, uint64_t x162 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x159, Return x114, Return x141);
 uint64_t x164, uint64_t x165 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x162, Return x117, Return x151);
 uint64_t x167, uint64_t x168 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x165, Return x120, Return x153);
 uint64_t x170, uint64_t _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x155, 0x1);
 uint64_t x173, uint64_t x174 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0xffffffffffffffffL);
 uint64_t x176, uint64_t x177 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, Const 4294967295);
 uint64_t x179, uint64_t x180 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0x0);
 uint64_t x182, uint64_t x183 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, Const 18446744069414584321);
 uint64_t x185, uint64_t x186 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0x0);
 uint64_t x188, uint64_t x189 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x173);
 uint64_t x191, uint64_t x192 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x189, Return x174, Return x176);
 uint64_t x194, uint64_t x195 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x192, Return x177, Return x179);
 uint64_t x197, uint64_t x198 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x195, Return x180, Return x182);
 uint64_t x200, uint64_t x201 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x185, (uint64_t) (Const 18446744073709551616) * x186);
 uint64_t x203, uint64_t x204 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x183, Return x200);
 uint64_t x205 = x201 + x204;
 uint64_t x207, uint64_t x208 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x198, Return x203);
 uint64_t x209 = x205 + x208;
 uint64_t _, uint64_t x212 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x155, Return x188);
 uint64_t x214, uint64_t x215 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x212, Return x158, Return x191);
 uint64_t x217, uint64_t x218 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x215, Return x161, Return x194);
 uint64_t x220, uint64_t x221 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x218, Return x164, Return x197);
 uint64_t x223, uint64_t x224 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x221, Return x167, Return x207);
 uint64_t x226, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x224, Return x168, Return x209);
 uint64_t x229, uint64_t x230 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x11);
 uint64_t x232, uint64_t x233 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x13);
 uint64_t x235, uint64_t x236 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x15);
 uint64_t x238, uint64_t x239 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x14);
 uint64_t x241, uint64_t x242 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x229);
 uint64_t x244, uint64_t x245 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x242, Return x230, Return x232);
 uint64_t x247, uint64_t x248 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x245, Return x233, Return x235);
 uint64_t x250, uint64_t x251 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x238, Const 18446744073709551616 * x239);
 uint64_t x253, uint64_t x254 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x236, Return x250);
 uint64_t x255 = x251 + x254;
 uint64_t x257, uint64_t x258 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x248, Return x253);
 uint128_t x259 = (uint128_t) x255 + x258;
 uint64_t x261, uint64_t x262 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x214, Return x241);
 uint64_t x264, uint64_t x265 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x262, Return x217, Return x244);
 uint64_t x267, uint64_t x268 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x265, Return x220, Return x247);
 uint64_t x270, uint64_t x271 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x268, Return x223, Return x257);
 uint64_t x273, uint64_t x274 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x271, Return x226, Return x259);
 uint64_t x276, uint64_t _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x261, 0x1);
 uint64_t x279, uint64_t x280 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0xffffffffffffffffL);
 uint64_t x282, uint64_t x283 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, Const 4294967295);
 uint64_t x285, uint64_t x286 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0x0);
 uint64_t x288, uint64_t x289 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, Const 18446744069414584321);
 uint64_t x291, uint64_t x292 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0x0);
 uint64_t x294, uint64_t x295 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x279);
 uint64_t x297, uint64_t x298 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x295, Return x280, Return x282);
 uint64_t x300, uint64_t x301 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x298, Return x283, Return x285);
 uint64_t x303, uint64_t x304 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x301, Return x286, Return x288);
 uint64_t x306, uint64_t x307 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x291, (uint64_t) (Const 18446744073709551616) * x292);
 uint64_t x309, uint64_t x310 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x289, Return x306);
 uint64_t x311 = x307 + x310;
 uint64_t x313, uint64_t x314 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x304, Return x309);
 uint64_t x315 = x311 + x314;
 uint64_t _, uint64_t x318 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x261, Return x294);
 uint64_t x320, uint64_t x321 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x318, Return x264, Return x297);
 uint64_t x323, uint64_t x324 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x321, Return x267, Return x300);
 uint64_t x326, uint64_t x327 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x324, Return x270, Return x303);
 uint64_t x329, uint64_t x330 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x327, Return x273, Return x313);
 uint64_t x332, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x330, Return x274, Return x315);
 uint64_t x335, uint64_t x336 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x11);
 uint64_t x338, uint64_t x339 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x13);
 uint64_t x341, uint64_t x342 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x15);
 uint64_t x344, uint64_t x345 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x14);
 uint64_t x347, uint64_t x348 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x335);
 uint64_t x350, uint64_t x351 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x348, Return x336, Return x338);
 uint64_t x353, uint64_t x354 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x351, Return x339, Return x341);
 uint64_t x356, uint64_t x357 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x344, Const 18446744073709551616 * x345);
 uint64_t x359, uint64_t x360 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x342, Return x356);
 uint64_t x361 = x357 + x360;
 uint64_t x363, uint64_t x364 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x354, Return x359);
 uint128_t x365 = (uint128_t) x361 + x364;
 uint64_t x367, uint64_t x368 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x320, Return x347);
 uint64_t x370, uint64_t x371 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x368, Return x323, Return x350);
 uint64_t x373, uint64_t x374 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x371, Return x326, Return x353);
 uint64_t x376, uint64_t x377 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x374, Return x329, Return x363);
 uint64_t x379, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x377, Return x332, Return x365);
 uint64_t x382, uint64_t _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x367, 0x1);
 uint64_t x385, uint64_t x386 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0xffffffffffffffffL);
 uint64_t x388, uint64_t x389 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, Const 4294967295);
 uint64_t x391, uint64_t x392 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0x0);
 uint64_t x394, uint64_t x395 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, Const 18446744069414584321);
 uint64_t x397, uint64_t x398 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0x0);
 uint64_t x400, uint64_t x401 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x385);
 uint64_t x403, uint64_t x404 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x401, Return x386, Return x388);
 uint64_t x406, uint64_t x407 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x404, Return x389, Return x391);
 uint64_t x409, uint64_t x410 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x407, Return x392, Return x394);
 uint64_t x412, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x397, (uint64_t) (Const 18446744073709551616) * x398);
 uint64_t x415, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x395, Return x412);
 uint64_t x418, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x410, Return x415);
 uint64_t _, uint64_t x422 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x367, Return x400);
 uint64_t x424, uint64_t x425 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x422, Return x370, Return x403);
 uint64_t x427, uint64_t x428 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x425, Return x373, Return x406);
 uint64_t x430, uint64_t x431 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x428, Return x376, Return x409);
 uint64_t x433, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x431, Return x379, Return x418);
 (Return x433, Return x430, Return x427, Return x424))
(x, x0)%core
     : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t)