make display

1 files changed, 133 insertions, 129 deletions

diff --git a/src/Specific/IntegrationTestMontgomeryP256Display.log b/src/Specific/IntegrationTestMontgomeryP256Display.log
index 2f2ec25f8..88206b296 100644
--- a/src/Specific/IntegrationTestMontgomeryP256Display.log
+++ b/src/Specific/IntegrationTestMontgomeryP256Display.log
@@ -36,145 +36,149 @@ Interp-η
  uint64_t x63 = (uint64_t) (x61 >> 0x40);
  uint64_t x65, bool x66 = addcarryx_u64(0x0, x57, x59);
  uint64_t x68, bool x69 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x66, Return x60, 0x0);
- uint64_t x71, bool x72 = addcarryx_u64(x69, 0x0, x62);
- uint64_t x74, bool x75 = addcarryx_u64(0x0, x72, x63);
- uint64_t _, bool x78 = addcarryx_u64(0x0, x17, x56);
- uint64_t x80, bool x81 = addcarryx_u64(x78, x29, x65);
- uint64_t x83, bool x84 = addcarryx_u64(x81, x46, x68);
- uint64_t x86, bool x87 = addcarryx_u64(x84, x49, x71);
- uint64_t x89, bool x90 = addcarryx_u64(x87, x52, x74);
- uint64_t x92, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x90, Return x53, Return x75);
- uint128_t x94 = (uint128_t) x7 * x11;
- uint64_t x95 = (uint64_t) x94 & 0xffffffffffffffffL;
- uint64_t x96 = (uint64_t) (x94 >> 0x40);
- uint128_t x97 = (uint128_t) x7 * x13;
- uint64_t x98 = (uint64_t) x97 & 0xffffffffffffffffL;
- uint64_t x99 = (uint64_t) (x97 >> 0x40);
- uint128_t x100 = (uint128_t) x7 * x15;
- uint64_t x101 = (uint64_t) x100 & 0xffffffffffffffffL;
- uint64_t x102 = (uint64_t) (x100 >> 0x40);
- uint128_t x103 = (uint128_t) x7 * x14;
- uint64_t x104 = (uint64_t) x103 & 0xffffffffffffffffL;
- uint64_t x105 = (uint64_t) (x103 >> 0x40);
- uint64_t x107, bool x108 = addcarryx_u64(0x0, x96, x98);
- uint64_t x110, bool x111 = addcarryx_u64(x108, x99, x101);
- uint64_t x113, uint64_t x114 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x104, 0x10000000000000000L * x105);
- uint64_t x116, bool x117 = addcarryx_u64(0x0, x102, x113);
- uint64_t x118 = x114 + x117;
- uint64_t x120, bool x121 = addcarryx_u64(0x0, x111, x116);
- uint128_t x122 = (uint128_t) x118 + x121;
- uint64_t x124, bool x125 = addcarryx_u64(0x0, x80, x95);
- uint64_t x127, bool x128 = addcarryx_u64(x125, x83, x107);
- uint64_t x130, bool x131 = addcarryx_u64(x128, x86, x110);
- uint64_t x133, bool x134 = addcarryx_u64(x131, x89, x120);
- uint64_t x136, bool x137 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x134, Return x92, Return x122);
- uint64_t x138 = x124 & 0xffffffffffffffffL;
- uint128_t x139 = (uint128_t) x138 * 0xffffffffffffffffL;
- uint64_t x140 = (uint64_t) x139 & 0xffffffffffffffffL;
- uint64_t x141 = (uint64_t) (x139 >> 0x40);
- uint128_t x142 = (uint128_t) x138 * 0xffffffff;
- uint64_t x143 = (uint64_t) x142 & 0xffffffffffffffffL;
- uint64_t x144 = (uint64_t) (x142 >> 0x40);
- uint128_t x145 = (uint128_t) x138 * 0xffffffff00000001L;
- uint64_t x146 = (uint64_t) x145 & 0xffffffffffffffffL;
- uint64_t x147 = (uint64_t) (x145 >> 0x40);
- uint64_t x149, bool x150 = addcarryx_u64(0x0, x141, x143);
- uint64_t x152, bool x153 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x150, Return x144, 0x0);
- uint64_t x155, bool x156 = addcarryx_u64(x153, 0x0, x146);
- uint64_t x158, bool x159 = addcarryx_u64(0x0, x156, x147);
- uint64_t _, bool x162 = addcarryx_u64(0x0, x124, x140);
- uint64_t x164, bool x165 = addcarryx_u64(x162, x127, x149);
- uint64_t x167, bool x168 = addcarryx_u64(x165, x130, x152);
- uint64_t x170, bool x171 = addcarryx_u64(x168, x133, x155);
- uint64_t x173, bool x174 = addcarryx_u64(x171, x136, x158);
- uint64_t x176, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x174, Return x137, Return x159);
- uint128_t x178 = (uint128_t) x9 * x11;
- uint64_t x179 = (uint64_t) x178 & 0xffffffffffffffffL;
- uint64_t x180 = (uint64_t) (x178 >> 0x40);
- uint128_t x181 = (uint128_t) x9 * x13;
- uint64_t x182 = (uint64_t) x181 & 0xffffffffffffffffL;
- uint64_t x183 = (uint64_t) (x181 >> 0x40);
- uint128_t x184 = (uint128_t) x9 * x15;
- uint64_t x185 = (uint64_t) x184 & 0xffffffffffffffffL;
- uint64_t x186 = (uint64_t) (x184 >> 0x40);
- uint128_t x187 = (uint128_t) x9 * x14;
- uint64_t x188 = (uint64_t) x187 & 0xffffffffffffffffL;
- uint64_t x189 = (uint64_t) (x187 >> 0x40);
- uint64_t x191, bool x192 = addcarryx_u64(0x0, x180, x182);
- uint64_t x194, bool x195 = addcarryx_u64(x192, x183, x185);
- uint64_t x197, uint64_t x198 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x188, 0x10000000000000000L * x189);
- uint64_t x200, bool x201 = addcarryx_u64(0x0, x186, x197);
- uint64_t x202 = x198 + x201;
- uint64_t x204, bool x205 = addcarryx_u64(0x0, x195, x200);
- uint128_t x206 = (uint128_t) x202 + x205;
- uint64_t x208, bool x209 = addcarryx_u64(0x0, x164, x179);
- uint64_t x211, bool x212 = addcarryx_u64(x209, x167, x191);
- uint64_t x214, bool x215 = addcarryx_u64(x212, x170, x194);
- uint64_t x217, bool x218 = addcarryx_u64(x215, x173, x204);
- uint64_t x220, bool x221 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x218, Return x176, Return x206);
- uint64_t x222 = x208 & 0xffffffffffffffffL;
- uint128_t x223 = (uint128_t) x222 * 0xffffffffffffffffL;
- uint64_t x224 = (uint64_t) x223 & 0xffffffffffffffffL;
- uint64_t x225 = (uint64_t) (x223 >> 0x40);
- uint128_t x226 = (uint128_t) x222 * 0xffffffff;
- uint64_t x227 = (uint64_t) x226 & 0xffffffffffffffffL;
- uint64_t x228 = (uint64_t) (x226 >> 0x40);
- uint128_t x229 = (uint128_t) x222 * 0xffffffff00000001L;
- uint64_t x230 = (uint64_t) x229 & 0xffffffffffffffffL;
- uint64_t x231 = (uint64_t) (x229 >> 0x40);
- uint64_t x233, bool x234 = addcarryx_u64(0x0, x225, x227);
- uint64_t x236, bool x237 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x234, Return x228, 0x0);
- uint64_t x239, bool x240 = addcarryx_u64(x237, 0x0, x230);
- uint64_t x242, bool x243 = addcarryx_u64(0x0, x240, x231);
- uint64_t _, bool x246 = addcarryx_u64(0x0, x208, x224);
- uint64_t x248, bool x249 = addcarryx_u64(x246, x211, x233);
- uint64_t x251, bool x252 = addcarryx_u64(x249, x214, x236);
- uint64_t x254, bool x255 = addcarryx_u64(x252, x217, x239);
- uint64_t x257, bool x258 = addcarryx_u64(x255, x220, x242);
- uint64_t x260, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x258, Return x221, Return x243);
- uint128_t x262 = (uint128_t) x8 * x11;
- uint64_t x263 = (uint64_t) x262 & 0xffffffffffffffffL;
- uint64_t x264 = (uint64_t) (x262 >> 0x40);
- uint128_t x265 = (uint128_t) x8 * x13;
+ uint64_t x71, uint64_t x72 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x62, 0x10000000000000000L * x63);
+ uint64_t x74, bool x75 = addcarryx_u64(0x0, x69, x71);
+ uint64_t x76 = x72 + x75;
+ uint64_t _, bool x79 = addcarryx_u64(0x0, x17, x56);
+ uint64_t x81, bool x82 = addcarryx_u64(x79, x29, x65);
+ uint64_t x84, bool x85 = addcarryx_u64(x82, x46, x68);
+ uint64_t x87, bool x88 = addcarryx_u64(x85, x49, x74);
+ uint64_t x90, bool x91 = addcarryx_u64(x88, x52, x76);
+ uint64_t x93, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x91, Return x53);
+ uint128_t x95 = (uint128_t) x7 * x11;
+ uint64_t x96 = (uint64_t) x95 & 0xffffffffffffffffL;
+ uint64_t x97 = (uint64_t) (x95 >> 0x40);
+ uint128_t x98 = (uint128_t) x7 * x13;
+ uint64_t x99 = (uint64_t) x98 & 0xffffffffffffffffL;
+ uint64_t x100 = (uint64_t) (x98 >> 0x40);
+ uint128_t x101 = (uint128_t) x7 * x15;
+ uint64_t x102 = (uint64_t) x101 & 0xffffffffffffffffL;
+ uint64_t x103 = (uint64_t) (x101 >> 0x40);
+ uint128_t x104 = (uint128_t) x7 * x14;
+ uint64_t x105 = (uint64_t) x104 & 0xffffffffffffffffL;
+ uint64_t x106 = (uint64_t) (x104 >> 0x40);
+ uint64_t x108, bool x109 = addcarryx_u64(0x0, x97, x99);
+ uint64_t x111, bool x112 = addcarryx_u64(x109, x100, x102);
+ uint64_t x114, uint64_t x115 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x105, 0x10000000000000000L * x106);
+ uint64_t x117, bool x118 = addcarryx_u64(0x0, x103, x114);
+ uint64_t x119 = x115 + x118;
+ uint64_t x121, bool x122 = addcarryx_u64(0x0, x112, x117);
+ uint128_t x123 = (uint128_t) x119 + x122;
+ uint64_t x125, bool x126 = addcarryx_u64(0x0, x81, x96);
+ uint64_t x128, bool x129 = addcarryx_u64(x126, x84, x108);
+ uint64_t x131, bool x132 = addcarryx_u64(x129, x87, x111);
+ uint64_t x134, bool x135 = addcarryx_u64(x132, x90, x121);
+ uint64_t x137, bool x138 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x135, Return x93, Return x123);
+ uint64_t x139 = x125 & 0xffffffffffffffffL;
+ uint128_t x140 = (uint128_t) x139 * 0xffffffffffffffffL;
+ uint64_t x141 = (uint64_t) x140 & 0xffffffffffffffffL;
+ uint64_t x142 = (uint64_t) (x140 >> 0x40);
+ uint128_t x143 = (uint128_t) x139 * 0xffffffff;
+ uint64_t x144 = (uint64_t) x143 & 0xffffffffffffffffL;
+ uint64_t x145 = (uint64_t) (x143 >> 0x40);
+ uint128_t x146 = (uint128_t) x139 * 0xffffffff00000001L;
+ uint64_t x147 = (uint64_t) x146 & 0xffffffffffffffffL;
+ uint64_t x148 = (uint64_t) (x146 >> 0x40);
+ uint64_t x150, bool x151 = addcarryx_u64(0x0, x142, x144);
+ uint64_t x153, bool x154 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x151, Return x145, 0x0);
+ uint64_t x156, uint64_t x157 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x147, 0x10000000000000000L * x148);
+ uint64_t x159, bool x160 = addcarryx_u64(0x0, x154, x156);
+ uint64_t x161 = x157 + x160;
+ uint64_t _, bool x164 = addcarryx_u64(0x0, x125, x141);
+ uint64_t x166, bool x167 = addcarryx_u64(x164, x128, x150);
+ uint64_t x169, bool x170 = addcarryx_u64(x167, x131, x153);
+ uint64_t x172, bool x173 = addcarryx_u64(x170, x134, x159);
+ uint64_t x175, bool x176 = addcarryx_u64(x173, x137, x161);
+ uint64_t x178, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x176, Return x138);
+ uint128_t x180 = (uint128_t) x9 * x11;
+ uint64_t x181 = (uint64_t) x180 & 0xffffffffffffffffL;
+ uint64_t x182 = (uint64_t) (x180 >> 0x40);
+ uint128_t x183 = (uint128_t) x9 * x13;
+ uint64_t x184 = (uint64_t) x183 & 0xffffffffffffffffL;
+ uint64_t x185 = (uint64_t) (x183 >> 0x40);
+ uint128_t x186 = (uint128_t) x9 * x15;
+ uint64_t x187 = (uint64_t) x186 & 0xffffffffffffffffL;
+ uint64_t x188 = (uint64_t) (x186 >> 0x40);
+ uint128_t x189 = (uint128_t) x9 * x14;
+ uint64_t x190 = (uint64_t) x189 & 0xffffffffffffffffL;
+ uint64_t x191 = (uint64_t) (x189 >> 0x40);
+ uint64_t x193, bool x194 = addcarryx_u64(0x0, x182, x184);
+ uint64_t x196, bool x197 = addcarryx_u64(x194, x185, x187);
+ uint64_t x199, uint64_t x200 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x190, 0x10000000000000000L * x191);
+ uint64_t x202, bool x203 = addcarryx_u64(0x0, x188, x199);
+ uint64_t x204 = x200 + x203;
+ uint64_t x206, bool x207 = addcarryx_u64(0x0, x197, x202);
+ uint128_t x208 = (uint128_t) x204 + x207;
+ uint64_t x210, bool x211 = addcarryx_u64(0x0, x166, x181);
+ uint64_t x213, bool x214 = addcarryx_u64(x211, x169, x193);
+ uint64_t x216, bool x217 = addcarryx_u64(x214, x172, x196);
+ uint64_t x219, bool x220 = addcarryx_u64(x217, x175, x206);
+ uint64_t x222, bool x223 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x220, Return x178, Return x208);
+ uint64_t x224 = x210 & 0xffffffffffffffffL;
+ uint128_t x225 = (uint128_t) x224 * 0xffffffffffffffffL;
+ uint64_t x226 = (uint64_t) x225 & 0xffffffffffffffffL;
+ uint64_t x227 = (uint64_t) (x225 >> 0x40);
+ uint128_t x228 = (uint128_t) x224 * 0xffffffff;
+ uint64_t x229 = (uint64_t) x228 & 0xffffffffffffffffL;
+ uint64_t x230 = (uint64_t) (x228 >> 0x40);
+ uint128_t x231 = (uint128_t) x224 * 0xffffffff00000001L;
+ uint64_t x232 = (uint64_t) x231 & 0xffffffffffffffffL;
+ uint64_t x233 = (uint64_t) (x231 >> 0x40);
+ uint64_t x235, bool x236 = addcarryx_u64(0x0, x227, x229);
+ uint64_t x238, bool x239 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x236, Return x230, 0x0);
+ uint64_t x241, uint64_t x242 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x232, 0x10000000000000000L * x233);
+ uint64_t x244, bool x245 = addcarryx_u64(0x0, x239, x241);
+ uint64_t x246 = x242 + x245;
+ uint64_t _, bool x249 = addcarryx_u64(0x0, x210, x226);
+ uint64_t x251, bool x252 = addcarryx_u64(x249, x213, x235);
+ uint64_t x254, bool x255 = addcarryx_u64(x252, x216, x238);
+ uint64_t x257, bool x258 = addcarryx_u64(x255, x219, x244);
+ uint64_t x260, bool x261 = addcarryx_u64(x258, x222, x246);
+ uint64_t x263, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x261, Return x223);
+ uint128_t x265 = (uint128_t) x8 * x11;
  uint64_t x266 = (uint64_t) x265 & 0xffffffffffffffffL;
  uint64_t x267 = (uint64_t) (x265 >> 0x40);
- uint128_t x268 = (uint128_t) x8 * x15;
+ uint128_t x268 = (uint128_t) x8 * x13;
  uint64_t x269 = (uint64_t) x268 & 0xffffffffffffffffL;
  uint64_t x270 = (uint64_t) (x268 >> 0x40);
- uint128_t x271 = (uint128_t) x8 * x14;
+ uint128_t x271 = (uint128_t) x8 * x15;
  uint64_t x272 = (uint64_t) x271 & 0xffffffffffffffffL;
  uint64_t x273 = (uint64_t) (x271 >> 0x40);
- uint64_t x275, bool x276 = addcarryx_u64(0x0, x264, x266);
- uint64_t x278, bool x279 = addcarryx_u64(x276, x267, x269);
- uint64_t x281, uint64_t x282 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x272, 0x10000000000000000L * x273);
- uint64_t x284, bool x285 = addcarryx_u64(0x0, x270, x281);
- uint64_t x286 = x282 + x285;
- uint64_t x288, bool x289 = addcarryx_u64(0x0, x279, x284);
- uint128_t x290 = (uint128_t) x286 + x289;
- uint64_t x292, bool x293 = addcarryx_u64(0x0, x248, x263);
- uint64_t x295, bool x296 = addcarryx_u64(x293, x251, x275);
+ uint128_t x274 = (uint128_t) x8 * x14;
+ uint64_t x275 = (uint64_t) x274 & 0xffffffffffffffffL;
+ uint64_t x276 = (uint64_t) (x274 >> 0x40);
+ uint64_t x278, bool x279 = addcarryx_u64(0x0, x267, x269);
+ uint64_t x281, bool x282 = addcarryx_u64(x279, x270, x272);
+ uint64_t x284, uint64_t x285 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x275, 0x10000000000000000L * x276);
+ uint64_t x287, bool x288 = addcarryx_u64(0x0, x273, x284);
+ uint64_t x289 = x285 + x288;
+ uint64_t x291, bool x292 = addcarryx_u64(0x0, x282, x287);
+ uint128_t x293 = (uint128_t) x289 + x292;
+ uint64_t x295, bool x296 = addcarryx_u64(0x0, x251, x266);
  uint64_t x298, bool x299 = addcarryx_u64(x296, x254, x278);
- uint64_t x301, bool x302 = addcarryx_u64(x299, x257, x288);
- uint64_t x304, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x302, Return x260, Return x290);
- uint64_t x306 = x292 & 0xffffffffffffffffL;
- uint128_t x307 = (uint128_t) x306 * 0xffffffffffffffffL;
- uint64_t x308 = (uint64_t) x307 & 0xffffffffffffffffL;
- uint64_t x309 = (uint64_t) (x307 >> 0x40);
- uint128_t x310 = (uint128_t) x306 * 0xffffffff;
+ uint64_t x301, bool x302 = addcarryx_u64(x299, x257, x281);
+ uint64_t x304, bool x305 = addcarryx_u64(x302, x260, x291);
+ uint64_t x307, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x305, Return x263, Return x293);
+ uint64_t x309 = x295 & 0xffffffffffffffffL;
+ uint128_t x310 = (uint128_t) x309 * 0xffffffffffffffffL;
  uint64_t x311 = (uint64_t) x310 & 0xffffffffffffffffL;
  uint64_t x312 = (uint64_t) (x310 >> 0x40);
- uint128_t x313 = (uint128_t) x306 * 0xffffffff00000001L;
+ uint128_t x313 = (uint128_t) x309 * 0xffffffff;
  uint64_t x314 = (uint64_t) x313 & 0xffffffffffffffffL;
  uint64_t x315 = (uint64_t) (x313 >> 0x40);
- uint64_t x317, bool x318 = addcarryx_u64(0x0, x309, x311);
- uint64_t x320, bool x321 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x318, Return x312, 0x0);
- uint64_t x323, bool x324 = addcarryx_u64(x321, 0x0, x314);
- uint64_t x326, bool _ = addcarryx_u64(0x0, x324, x315);
- uint64_t _, bool x330 = addcarryx_u64(0x0, x292, x308);
- uint64_t x332, bool x333 = addcarryx_u64(x330, x295, x317);
- uint64_t x335, bool x336 = addcarryx_u64(x333, x298, x320);
- uint64_t x338, bool x339 = addcarryx_u64(x336, x301, x323);
- uint64_t x341, bool _ = addcarryx_u64(x339, x304, x326);
- (Return x341, Return x338, Return x335, Return x332))
+ uint128_t x316 = (uint128_t) x309 * 0xffffffff00000001L;
+ uint64_t x317 = (uint64_t) x316 & 0xffffffffffffffffL;
+ uint64_t x318 = (uint64_t) (x316 >> 0x40);
+ uint64_t x320, bool x321 = addcarryx_u64(0x0, x312, x314);
+ uint64_t x323, bool x324 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x321, Return x315, 0x0);
+ uint64_t x326, uint64_t x327 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x317, 0x10000000000000000L * x318);
+ uint64_t x329, bool x330 = addcarryx_u64(0x0, x324, x326);
+ uint64_t x331 = x327 + x330;
+ uint64_t _, bool x334 = addcarryx_u64(0x0, x295, x311);
+ uint64_t x336, bool x337 = addcarryx_u64(x334, x298, x320);
+ uint64_t x339, bool x340 = addcarryx_u64(x337, x301, x323);
+ uint64_t x342, bool x343 = addcarryx_u64(x340, x304, x329);
+ uint64_t x345, bool _ = addcarryx_u64(x343, x307, x331);
+ (Return x345, Return x342, Return x339, Return x336))
 (x, x0)%core
      : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t)