make display

3 files changed, 96 insertions, 96 deletions

diff --git a/src/Specific/IntegrationTestFreezeDisplay.log b/src/Specific/IntegrationTestFreezeDisplay.log
index 87b7a2501..471c997c7 100644
--- a/src/Specific/IntegrationTestFreezeDisplay.log
+++ b/src/Specific/IntegrationTestFreezeDisplay.log
@@ -2,22 +2,22 @@
 Interp-η
 (λ var : Syntax.base_type → Type,
  λ '(x7, x8, x6, x4, x2)%core,
- uint64_t x10, bool x11 = subborrow_u51(0x0, x2, 0x7ffffffffffed);
- uint64_t x13, bool x14 = subborrow_u51(x11, x4, 0x7ffffffffffff);
- uint64_t x16, bool x17 = subborrow_u51(x14, x6, 0x7ffffffffffff);
- uint64_t x19, bool x20 = subborrow_u51(x17, x8, 0x7ffffffffffff);
- uint64_t x22, bool x23 = subborrow_u51(x20, x7, 0x7ffffffffffff);
+ uint64_t x10, uint8_t x11 = subborrow_u51(0x0, x2, 0x7ffffffffffed);
+ uint64_t x13, uint8_t x14 = subborrow_u51(x11, x4, 0x7ffffffffffff);
+ uint64_t x16, uint8_t x17 = subborrow_u51(x14, x6, 0x7ffffffffffff);
+ uint64_t x19, uint8_t x20 = subborrow_u51(x17, x8, 0x7ffffffffffff);
+ uint64_t x22, uint8_t x23 = subborrow_u51(x20, x7, 0x7ffffffffffff);
  uint64_t x24 = (uint64_t) (x23 == 0 ? 0x0 : 0xffffffffffffffffL);
  uint64_t x25 = x24 & 0x7ffffffffffed;
- uint64_t x27, bool x28 = addcarryx_u51(0x0, x10, x25);
+ uint64_t x27, uint8_t x28 = addcarryx_u51(0x0, x10, x25);
  uint64_t x29 = x24 & 0x7ffffffffffff;
- uint64_t x31, bool x32 = addcarryx_u51(x28, x13, x29);
+ uint64_t x31, uint8_t x32 = addcarryx_u51(x28, x13, x29);
  uint64_t x33 = x24 & 0x7ffffffffffff;
- uint64_t x35, bool x36 = addcarryx_u51(x32, x16, x33);
+ uint64_t x35, uint8_t x36 = addcarryx_u51(x32, x16, x33);
  uint64_t x37 = x24 & 0x7ffffffffffff;
- uint64_t x39, bool x40 = addcarryx_u51(x36, x19, x37);
+ uint64_t x39, uint8_t x40 = addcarryx_u51(x36, x19, x37);
  uint64_t x41 = x24 & 0x7ffffffffffff;
- uint64_t x43, bool _ = addcarryx_u51(x40, x22, x41);
+ uint64_t x43, uint8_t _ = addcarryx_u51(x40, x22, x41);
  (Return x43, Return x39, Return x35, Return x31, Return x27))
 x
      : word64 * word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t * uint64_t)
diff --git a/src/Specific/IntegrationTestMontgomeryP256Display.log b/src/Specific/IntegrationTestMontgomeryP256Display.log
index 30d86ffac..9a4dd7280 100644
--- a/src/Specific/IntegrationTestMontgomeryP256Display.log
+++ b/src/Specific/IntegrationTestMontgomeryP256Display.log
@@ -14,10 +14,10 @@ Interp-η
  uint128_t x25 = (uint128_t) x5 * x14;
  uint64_t x26 = (uint64_t) x25 & 0xffffffffffffffffL;
  uint64_t x27 = (uint64_t) (x25 >> 0x40);
- uint64_t x29, bool x30 = addcarryx_u64(0x0, x18, x20);
- uint64_t x32, bool x33 = addcarryx_u64(x30, x21, x23);
- uint64_t x35, bool x36 = addcarryx_u64(x33, x24, x26);
- uint64_t x38, bool _ = addcarryx_u64(0x0, x36, x27);
+ uint64_t x29, uint8_t x30 = addcarryx_u64(0x0, x18, x20);
+ uint64_t x32, uint8_t x33 = addcarryx_u64(x30, x21, x23);
+ uint64_t x35, uint8_t x36 = addcarryx_u64(x33, x24, x26);
+ uint64_t x38, uint8_t _ = addcarryx_u64(0x0, x36, x27);
  uint64_t x40 = x17 & 0xffffffffffffffffL;
  uint128_t x41 = (uint128_t) x40 * 0xffffffffffffffffL;
  uint64_t x42 = (uint64_t) x41 & 0xffffffffffffffffL;
@@ -28,15 +28,15 @@ Interp-η
  uint128_t x47 = (uint128_t) x40 * 0xffffffff00000001L;
  uint64_t x48 = (uint64_t) x47 & 0xffffffffffffffffL;
  uint64_t x49 = (uint64_t) (x47 >> 0x40);
- uint64_t x51, bool x52 = addcarryx_u64(0x0, x43, x45);
- uint64_t x54, bool x55 = addcarryx_u64(x52, x46, 0x0);
- uint64_t x57, bool x58 = addcarryx_u64(x55, 0x0, x48);
- uint64_t x60, bool _ = addcarryx_u64(0x0, x58, x49);
- uint64_t _, bool x64 = addcarryx_u64(0x0, x17, x42);
- uint64_t x66, bool x67 = addcarryx_u64(x64, x29, x51);
- uint64_t x69, bool x70 = addcarryx_u64(x67, x32, x54);
- uint64_t x72, bool x73 = addcarryx_u64(x70, x35, x57);
- uint64_t x75, bool x76 = addcarryx_u64(x73, x38, x60);
+ uint64_t x51, uint8_t x52 = addcarryx_u64(0x0, x43, x45);
+ uint64_t x54, uint8_t x55 = addcarryx_u64(x52, x46, 0x0);
+ uint64_t x57, uint8_t x58 = addcarryx_u64(x55, 0x0, x48);
+ uint64_t x60, uint8_t _ = addcarryx_u64(0x0, x58, x49);
+ uint64_t _, uint8_t x64 = addcarryx_u64(0x0, x17, x42);
+ uint64_t x66, uint8_t x67 = addcarryx_u64(x64, x29, x51);
+ uint64_t x69, uint8_t x70 = addcarryx_u64(x67, x32, x54);
+ uint64_t x72, uint8_t x73 = addcarryx_u64(x70, x35, x57);
+ uint64_t x75, uint8_t x76 = addcarryx_u64(x73, x38, x60);
  uint128_t x77 = (uint128_t) x7 * x11;
  uint64_t x78 = (uint64_t) x77 & 0xffffffffffffffffL;
  uint64_t x79 = (uint64_t) (x77 >> 0x40);
@@ -49,15 +49,15 @@ Interp-η
  uint128_t x86 = (uint128_t) x7 * x14;
  uint64_t x87 = (uint64_t) x86 & 0xffffffffffffffffL;
  uint64_t x88 = (uint64_t) (x86 >> 0x40);
- uint64_t x90, bool x91 = addcarryx_u64(0x0, x79, x81);
- uint64_t x93, bool x94 = addcarryx_u64(x91, x82, x84);
- uint64_t x96, bool x97 = addcarryx_u64(x94, x85, x87);
- uint64_t x99, bool _ = addcarryx_u64(0x0, x97, x88);
- uint64_t x102, bool x103 = addcarryx_u64(0x0, x66, x78);
- uint64_t x105, bool x106 = addcarryx_u64(x103, x69, x90);
- uint64_t x108, bool x109 = addcarryx_u64(x106, x72, x93);
- uint64_t x111, bool x112 = addcarryx_u64(x109, x75, x96);
- uint64_t x114, bool x115 = addcarryx_u64(x112, x76, x99);
+ uint64_t x90, uint8_t x91 = addcarryx_u64(0x0, x79, x81);
+ uint64_t x93, uint8_t x94 = addcarryx_u64(x91, x82, x84);
+ uint64_t x96, uint8_t x97 = addcarryx_u64(x94, x85, x87);
+ uint64_t x99, uint8_t _ = addcarryx_u64(0x0, x97, x88);
+ uint64_t x102, uint8_t x103 = addcarryx_u64(0x0, x66, x78);
+ uint64_t x105, uint8_t x106 = addcarryx_u64(x103, x69, x90);
+ uint64_t x108, uint8_t x109 = addcarryx_u64(x106, x72, x93);
+ uint64_t x111, uint8_t x112 = addcarryx_u64(x109, x75, x96);
+ uint64_t x114, uint8_t x115 = addcarryx_u64(x112, x76, x99);
  uint64_t x116 = x102 & 0xffffffffffffffffL;
  uint128_t x117 = (uint128_t) x116 * 0xffffffffffffffffL;
  uint64_t x118 = (uint64_t) x117 & 0xffffffffffffffffL;
@@ -68,16 +68,16 @@ Interp-η
  uint128_t x123 = (uint128_t) x116 * 0xffffffff00000001L;
  uint64_t x124 = (uint64_t) x123 & 0xffffffffffffffffL;
  uint64_t x125 = (uint64_t) (x123 >> 0x40);
- uint64_t x127, bool x128 = addcarryx_u64(0x0, x119, x121);
- uint64_t x130, bool x131 = addcarryx_u64(x128, x122, 0x0);
- uint64_t x133, bool x134 = addcarryx_u64(x131, 0x0, x124);
- uint64_t x136, bool _ = addcarryx_u64(0x0, x134, x125);
- uint64_t _, bool x140 = addcarryx_u64(0x0, x102, x118);
- uint64_t x142, bool x143 = addcarryx_u64(x140, x105, x127);
- uint64_t x145, bool x146 = addcarryx_u64(x143, x108, x130);
- uint64_t x148, bool x149 = addcarryx_u64(x146, x111, x133);
- uint64_t x151, bool x152 = addcarryx_u64(x149, x114, x136);
- uint64_t x153 = (uint64_t) 0x0 + x152 + x115;
+ uint64_t x127, uint8_t x128 = addcarryx_u64(0x0, x119, x121);
+ uint64_t x130, uint8_t x131 = addcarryx_u64(x128, x122, 0x0);
+ uint64_t x133, uint8_t x134 = addcarryx_u64(x131, 0x0, x124);
+ uint64_t x136, uint8_t _ = addcarryx_u64(0x0, x134, x125);
+ uint64_t _, uint8_t x140 = addcarryx_u64(0x0, x102, x118);
+ uint64_t x142, uint8_t x143 = addcarryx_u64(x140, x105, x127);
+ uint64_t x145, uint8_t x146 = addcarryx_u64(x143, x108, x130);
+ uint64_t x148, uint8_t x149 = addcarryx_u64(x146, x111, x133);
+ uint64_t x151, uint8_t x152 = addcarryx_u64(x149, x114, x136);
+ uint8_t x153 = x152 + x115;
  uint128_t x154 = (uint128_t) x9 * x11;
  uint64_t x155 = (uint64_t) x154 & 0xffffffffffffffffL;
  uint64_t x156 = (uint64_t) (x154 >> 0x40);
@@ -90,15 +90,15 @@ Interp-η
  uint128_t x163 = (uint128_t) x9 * x14;
  uint64_t x164 = (uint64_t) x163 & 0xffffffffffffffffL;
  uint64_t x165 = (uint64_t) (x163 >> 0x40);
- uint64_t x167, bool x168 = addcarryx_u64(0x0, x156, x158);
- uint64_t x170, bool x171 = addcarryx_u64(x168, x159, x161);
- uint64_t x173, bool x174 = addcarryx_u64(x171, x162, x164);
- uint64_t x176, bool _ = addcarryx_u64(0x0, x174, x165);
- uint64_t x179, bool x180 = addcarryx_u64(0x0, x142, x155);
- uint64_t x182, bool x183 = addcarryx_u64(x180, x145, x167);
- uint64_t x185, bool x186 = addcarryx_u64(x183, x148, x170);
- uint64_t x188, bool x189 = addcarryx_u64(x186, x151, x173);
- uint64_t x191, bool x192 = addcarryx_u64(x189, x153, x176);
+ uint64_t x167, uint8_t x168 = addcarryx_u64(0x0, x156, x158);
+ uint64_t x170, uint8_t x171 = addcarryx_u64(x168, x159, x161);
+ uint64_t x173, uint8_t x174 = addcarryx_u64(x171, x162, x164);
+ uint64_t x176, uint8_t _ = addcarryx_u64(0x0, x174, x165);
+ uint64_t x179, uint8_t x180 = addcarryx_u64(0x0, x142, x155);
+ uint64_t x182, uint8_t x183 = addcarryx_u64(x180, x145, x167);
+ uint64_t x185, uint8_t x186 = addcarryx_u64(x183, x148, x170);
+ uint64_t x188, uint8_t x189 = addcarryx_u64(x186, x151, x173);
+ uint64_t x191, uint8_t x192 = addcarryx_u64(x189, x153, x176);
  uint64_t x193 = x179 & 0xffffffffffffffffL;
  uint128_t x194 = (uint128_t) x193 * 0xffffffffffffffffL;
  uint64_t x195 = (uint64_t) x194 & 0xffffffffffffffffL;
@@ -109,16 +109,16 @@ Interp-η
  uint128_t x200 = (uint128_t) x193 * 0xffffffff00000001L;
  uint64_t x201 = (uint64_t) x200 & 0xffffffffffffffffL;
  uint64_t x202 = (uint64_t) (x200 >> 0x40);
- uint64_t x204, bool x205 = addcarryx_u64(0x0, x196, x198);
- uint64_t x207, bool x208 = addcarryx_u64(x205, x199, 0x0);
- uint64_t x210, bool x211 = addcarryx_u64(x208, 0x0, x201);
- uint64_t x213, bool _ = addcarryx_u64(0x0, x211, x202);
- uint64_t _, bool x217 = addcarryx_u64(0x0, x179, x195);
- uint64_t x219, bool x220 = addcarryx_u64(x217, x182, x204);
- uint64_t x222, bool x223 = addcarryx_u64(x220, x185, x207);
- uint64_t x225, bool x226 = addcarryx_u64(x223, x188, x210);
- uint64_t x228, bool x229 = addcarryx_u64(x226, x191, x213);
- uint64_t x230 = (uint64_t) 0x0 + x229 + x192;
+ uint64_t x204, uint8_t x205 = addcarryx_u64(0x0, x196, x198);
+ uint64_t x207, uint8_t x208 = addcarryx_u64(x205, x199, 0x0);
+ uint64_t x210, uint8_t x211 = addcarryx_u64(x208, 0x0, x201);
+ uint64_t x213, uint8_t _ = addcarryx_u64(0x0, x211, x202);
+ uint64_t _, uint8_t x217 = addcarryx_u64(0x0, x179, x195);
+ uint64_t x219, uint8_t x220 = addcarryx_u64(x217, x182, x204);
+ uint64_t x222, uint8_t x223 = addcarryx_u64(x220, x185, x207);
+ uint64_t x225, uint8_t x226 = addcarryx_u64(x223, x188, x210);
+ uint64_t x228, uint8_t x229 = addcarryx_u64(x226, x191, x213);
+ uint8_t x230 = x229 + x192;
  uint128_t x231 = (uint128_t) x8 * x11;
  uint64_t x232 = (uint64_t) x231 & 0xffffffffffffffffL;
  uint64_t x233 = (uint64_t) (x231 >> 0x40);
@@ -131,15 +131,15 @@ Interp-η
  uint128_t x240 = (uint128_t) x8 * x14;
  uint64_t x241 = (uint64_t) x240 & 0xffffffffffffffffL;
  uint64_t x242 = (uint64_t) (x240 >> 0x40);
- uint64_t x244, bool x245 = addcarryx_u64(0x0, x233, x235);
- uint64_t x247, bool x248 = addcarryx_u64(x245, x236, x238);
- uint64_t x250, bool x251 = addcarryx_u64(x248, x239, x241);
- uint64_t x253, bool _ = addcarryx_u64(0x0, x251, x242);
- uint64_t x256, bool x257 = addcarryx_u64(0x0, x219, x232);
- uint64_t x259, bool x260 = addcarryx_u64(x257, x222, x244);
- uint64_t x262, bool x263 = addcarryx_u64(x260, x225, x247);
- uint64_t x265, bool x266 = addcarryx_u64(x263, x228, x250);
- uint64_t x268, bool _ = addcarryx_u64(x266, x230, x253);
+ uint64_t x244, uint8_t x245 = addcarryx_u64(0x0, x233, x235);
+ uint64_t x247, uint8_t x248 = addcarryx_u64(x245, x236, x238);
+ uint64_t x250, uint8_t x251 = addcarryx_u64(x248, x239, x241);
+ uint64_t x253, uint8_t _ = addcarryx_u64(0x0, x251, x242);
+ uint64_t x256, uint8_t x257 = addcarryx_u64(0x0, x219, x232);
+ uint64_t x259, uint8_t x260 = addcarryx_u64(x257, x222, x244);
+ uint64_t x262, uint8_t x263 = addcarryx_u64(x260, x225, x247);
+ uint64_t x265, uint8_t x266 = addcarryx_u64(x263, x228, x250);
+ uint64_t x268, uint8_t _ = addcarryx_u64(x266, x230, x253);
  uint64_t x270 = x256 & 0xffffffffffffffffL;
  uint128_t x271 = (uint128_t) x270 * 0xffffffffffffffffL;
  uint64_t x272 = (uint64_t) x271 & 0xffffffffffffffffL;
@@ -150,15 +150,15 @@ Interp-η
  uint128_t x277 = (uint128_t) x270 * 0xffffffff00000001L;
  uint64_t x278 = (uint64_t) x277 & 0xffffffffffffffffL;
  uint64_t x279 = (uint64_t) (x277 >> 0x40);
- uint64_t x281, bool x282 = addcarryx_u64(0x0, x273, x275);
- uint64_t x284, bool x285 = addcarryx_u64(x282, x276, 0x0);
- uint64_t x287, bool x288 = addcarryx_u64(x285, 0x0, x278);
- uint64_t x290, bool _ = addcarryx_u64(0x0, x288, x279);
- uint64_t _, bool x294 = addcarryx_u64(0x0, x256, x272);
- uint64_t x296, bool x297 = addcarryx_u64(x294, x259, x281);
- uint64_t x299, bool x300 = addcarryx_u64(x297, x262, x284);
- uint64_t x302, bool x303 = addcarryx_u64(x300, x265, x287);
- uint64_t x305, bool _ = addcarryx_u64(x303, x268, x290);
+ uint64_t x281, uint8_t x282 = addcarryx_u64(0x0, x273, x275);
+ uint64_t x284, uint8_t x285 = addcarryx_u64(x282, x276, 0x0);
+ uint64_t x287, uint8_t x288 = addcarryx_u64(x285, 0x0, x278);
+ uint64_t x290, uint8_t _ = addcarryx_u64(0x0, x288, x279);
+ uint64_t _, uint8_t x294 = addcarryx_u64(0x0, x256, x272);
+ uint64_t x296, uint8_t x297 = addcarryx_u64(x294, x259, x281);
+ uint64_t x299, uint8_t x300 = addcarryx_u64(x297, x262, x284);
+ uint64_t x302, uint8_t x303 = addcarryx_u64(x300, x265, x287);
+ uint64_t x305, uint8_t _ = addcarryx_u64(x303, x268, x290);
  (Return x305, Return x302, Return x299, Return x296))
 (x, x0)%core
      : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t)
diff --git a/src/Specific/IntegrationTestMontgomeryP256_128Display.log b/src/Specific/IntegrationTestMontgomeryP256_128Display.log
index 1a5507b36..382fb3bad 100644
--- a/src/Specific/IntegrationTestMontgomeryP256_128Display.log
+++ b/src/Specific/IntegrationTestMontgomeryP256_128Display.log
@@ -8,8 +8,8 @@ Interp-η
  uint256_t x11 = (uint256_t) x5 * x6;
  uint128_t x12 = (uint128_t) x11 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x13 = (uint128_t) (x11 >> 0x80);
- uint128_t x15, bool x16 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x10, Return x12);
- uint128_t x18, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x16, Return x13);
+ uint128_t x15, uint8_t x16 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x10, Return x12);
+ uint128_t x18, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x16, Return x13);
  uint128_t x20 = x9 & 0xffffffffffffffffffffffffffffffffL;
  uint256_t x21 = (uint256_t) x20 * 0xffffffffffffffffffffffffL;
  uint128_t x22 = (uint128_t) x21 & 0xffffffffffffffffffffffffffffffffL;
@@ -17,22 +17,22 @@ Interp-η
  uint256_t x24 = (uint256_t) x20 * 0xffffffff000000010000000000000000L;
  uint128_t x25 = (uint128_t) x24 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x26 = (uint128_t) (x24 >> 0x80);
- uint128_t x28, bool x29 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x23, Return x25);
- uint128_t x31, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x29, Return x26);
- uint128_t _, bool x35 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x9, Return x22);
- uint128_t x37, bool x38 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x35, Return x15, Return x28);
- uint128_t x40, bool x41 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x38, Return x18, Return x31);
+ uint128_t x28, uint8_t x29 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x23, Return x25);
+ uint128_t x31, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x29, Return x26);
+ uint128_t _, uint8_t x35 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x9, Return x22);
+ uint128_t x37, uint8_t x38 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x35, Return x15, Return x28);
+ uint128_t x40, uint8_t x41 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x38, Return x18, Return x31);
  uint256_t x42 = (uint256_t) x4 * x7;
  uint128_t x43 = (uint128_t) x42 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x44 = (uint128_t) (x42 >> 0x80);
  uint256_t x45 = (uint256_t) x4 * x6;
  uint128_t x46 = (uint128_t) x45 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x47 = (uint128_t) (x45 >> 0x80);
- uint128_t x49, bool x50 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x44, Return x46);
- uint128_t x52, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x50, Return x47);
- uint128_t x55, bool x56 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x37, Return x43);
- uint128_t x58, bool x59 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x56, Return x40, Return x49);
- uint128_t x61, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x59, Return x41, Return x52);
+ uint128_t x49, uint8_t x50 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x44, Return x46);
+ uint128_t x52, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x50, Return x47);
+ uint128_t x55, uint8_t x56 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x37, Return x43);
+ uint128_t x58, uint8_t x59 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x56, Return x40, Return x49);
+ uint128_t x61, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x59, Return x41, Return x52);
  uint128_t x63 = x55 & 0xffffffffffffffffffffffffffffffffL;
  uint256_t x64 = (uint256_t) x63 * 0xffffffffffffffffffffffffL;
  uint128_t x65 = (uint128_t) x64 & 0xffffffffffffffffffffffffffffffffL;
@@ -40,11 +40,11 @@ Interp-η
  uint256_t x67 = (uint256_t) x63 * 0xffffffff000000010000000000000000L;
  uint128_t x68 = (uint128_t) x67 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x69 = (uint128_t) (x67 >> 0x80);
- uint128_t x71, bool x72 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x66, Return x68);
- uint128_t x74, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x72, Return x69);
- uint128_t _, bool x78 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x55, Return x65);
- uint128_t x80, bool x81 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x78, Return x58, Return x71);
- uint128_t x83, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x81, Return x61, Return x74);
+ uint128_t x71, uint8_t x72 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x66, Return x68);
+ uint128_t x74, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x72, Return x69);
+ uint128_t _, uint8_t x78 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x55, Return x65);
+ uint128_t x80, uint8_t x81 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x78, Return x58, Return x71);
+ uint128_t x83, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x81, Return x61, Return x74);
  (Return x83, Return x80))
 (x, x0)%core
      : word128 * word128 → word128 * word128 → ReturnType (uint128_t * uint128_t)