make display (with adc, bool)

6 files changed, 52 insertions, 52 deletions

diff --git a/src/Specific/IntegrationTestFreezeDisplay.log b/src/Specific/IntegrationTestFreezeDisplay.log
index 483f5de9b..6ae4cff79 100644
--- a/src/Specific/IntegrationTestFreezeDisplay.log
+++ b/src/Specific/IntegrationTestFreezeDisplay.log
@@ -2,37 +2,37 @@
 Interp-η
 (λ var : Syntax.base_type → Type,
  λ '(x7, x8, x6, x4, x2)%core,
- uint64_t x10, ℤ x11 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) Syntax.TZ) (0x0, Return x2, Const (-2251799813685229));
- uint64_t x13, uint64_t x14 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x10);
+ uint64_t x10, ℤ x11 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 0) (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) Syntax.TZ) (0x0, Return x2, Const (-2251799813685229));
+ uint64_t x13, bool x14 = addcarryx_u51(0x0, 0x0, x10);
  ℤ x15 = x11 + x14;
- uint64_t x17, ℤ x18 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) Syntax.TZ) (0x0, Return x4, Const (-2251799813685247));
- uint64_t x20, ℤ x21 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ) (0x0, Return x15, Return x17);
+ uint64_t x17, ℤ x18 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 0) (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) Syntax.TZ) (0x0, Return x4, Const (-2251799813685247));
+ uint64_t x20, ℤ x21 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 0) Syntax.TZ (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ) (0x0, Return x15, Return x17);
  ℤ x22 = x18 + x21;
- uint64_t x24, ℤ x25 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) Syntax.TZ) (0x0, Return x6, Const (-2251799813685247));
- uint64_t x27, ℤ x28 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ) (0x0, Return x22, Return x24);
+ uint64_t x24, ℤ x25 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 0) (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) Syntax.TZ) (0x0, Return x6, Const (-2251799813685247));
+ uint64_t x27, ℤ x28 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 0) Syntax.TZ (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ) (0x0, Return x22, Return x24);
  ℤ x29 = x25 + x28;
- uint64_t x31, ℤ x32 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) Syntax.TZ) (0x0, Return x8, Const (-2251799813685247));
- uint64_t x34, ℤ x35 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ) (0x0, Return x29, Return x31);
+ uint64_t x31, ℤ x32 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 0) (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) Syntax.TZ) (0x0, Return x8, Const (-2251799813685247));
+ uint64_t x34, ℤ x35 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 0) Syntax.TZ (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ) (0x0, Return x29, Return x31);
  ℤ x36 = x32 + x35;
- uint64_t x38, ℤ x39 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) Syntax.TZ) (0x0, Return x7, Const (-2251799813685247));
- uint64_t x41, ℤ x42 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ) (0x0, Return x36, Return x38);
+ uint64_t x38, ℤ x39 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 0) (Syntax.TWord 6) Syntax.TZ (Syntax.TWord 6) Syntax.TZ) (0x0, Return x7, Const (-2251799813685247));
+ uint64_t x41, ℤ x42 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 0) Syntax.TZ (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ) (0x0, Return x36, Return x38);
  ℤ x43 = x39 + x42;
- uint64_t x44 = x43 == 0 ? 0x0 : 0xffffffffffffffffL;
- uint64_t x46, uint64_t x47 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x13, x44 & 0x7ffffffffffed);
- uint64_t x49, uint64_t x50 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x46);
- uint64_t x51 = x47 + x50;
- uint64_t x53, uint64_t x54 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x20, x44 & 0x7ffffffffffff);
- uint64_t x56, uint64_t x57 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x51, Return x53);
- uint64_t x58 = x54 + x57;
- uint64_t x60, uint64_t x61 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x27, x44 & 0x7ffffffffffff);
- uint64_t x63, uint64_t x64 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x58, Return x60);
- uint64_t x65 = x61 + x64;
- uint64_t x67, uint64_t x68 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x34, x44 & 0x7ffffffffffff);
- uint64_t x70, uint64_t x71 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x65, Return x67);
- uint64_t x72 = x68 + x71;
- uint64_t x74, uint64_t x75 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x41, x44 & 0x7ffffffffffff);
- uint64_t x77, uint64_t x78 = Op (Syntax.AddWithGetCarry 51 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x72, Return x74);
- uint64_t _ = x75 + x78;
+ uint64_t x44 = (uint64_t) (x43 == 0 ? 0x0 : 0xffffffffffffffffL);
+ uint64_t x46, bool x47 = addcarryx_u51(0x0, x13, x44 & 0x7ffffffffffed);
+ uint64_t x49, bool x50 = addcarryx_u51(0x0, 0x0, x46);
+ bool x51 = x47 + x50;
+ uint64_t x53, bool x54 = addcarryx_u51(0x0, x20, x44 & 0x7ffffffffffff);
+ uint64_t x56, bool x57 = addcarryx_u51(0x0, x51, x53);
+ uint64_t x58 = (uint64_t) x54 + x57;
+ uint64_t x60, bool x61 = addcarryx_u51(0x0, x27, x44 & 0x7ffffffffffff);
+ uint64_t x63, bool x64 = addcarryx_u51(0x0, x58, x60);
+ uint64_t x65 = (uint64_t) x61 + x64;
+ uint64_t x67, bool x68 = addcarryx_u51(0x0, x34, x44 & 0x7ffffffffffff);
+ uint64_t x70, bool x71 = addcarryx_u51(0x0, x65, x67);
+ uint64_t x72 = (uint64_t) x68 + x71;
+ uint64_t x74, bool x75 = addcarryx_u51(0x0, x41, x44 & 0x7ffffffffffff);
+ uint64_t x77, bool x78 = addcarryx_u51(0x0, x72, x74);
+ uint64_t _ = (uint64_t) x75 + x78;
  return (x77, x70, x63, x56, x49))
 x
      : word64 * word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t * uint64_t)
diff --git a/src/Specific/IntegrationTestLadderstep130Display.log b/src/Specific/IntegrationTestLadderstep130Display.log
index 95f2237c0..c08157343 100644
--- a/src/Specific/IntegrationTestLadderstep130Display.log
+++ b/src/Specific/IntegrationTestLadderstep130Display.log
@@ -23,7 +23,7 @@ let (a, b) := Interp-η
  uint128_t x51 = x50 >> 0x55;
  uint128_t x52 = x50 & 0x1fffffffffffffffffffffL;
  uint128_t x53 = x51 + x46;
- uint128_t x54 = x53 >> 0x55;
+ bool x54 = (bool) (x53 >> 0x55);
  uint128_t x55 = x53 & 0x1fffffffffffffffffffffL;
  uint128_t x56 = x54 + x49;
  uint256_t x57 = (uint256_t) x38 * x36 + ((uint256_t) x37 * x37 + (uint256_t) x36 * x38);
@@ -41,7 +41,7 @@ let (a, b) := Interp-η
  uint128_t x69 = x68 >> 0x55;
  uint128_t x70 = x68 & 0x1fffffffffffffffffffffL;
  uint128_t x71 = x69 + x64;
- uint128_t x72 = x71 >> 0x55;
+ bool x72 = (bool) (x71 >> 0x55);
  uint128_t x73 = x71 & 0x1fffffffffffffffffffffL;
  uint128_t x74 = x72 + x67;
  uint256_t x75 = (uint256_t) x52 * x74 + ((uint256_t) x55 * x73 + (uint256_t) x56 * x70);
@@ -59,7 +59,7 @@ let (a, b) := Interp-η
  uint128_t x87 = x86 >> 0x55;
  uint128_t x88 = x86 & 0x1fffffffffffffffffffffL;
  uint128_t x89 = x87 + x82;
- uint128_t x90 = x89 >> 0x55;
+ bool x90 = (bool) (x89 >> 0x55);
  uint128_t x91 = x89 & 0x1fffffffffffffffffffffL;
  uint128_t x92 = x90 + x85;
  uint128_t x93 = 0x3ffffffffffffffffffffeL + x56 - x74;
@@ -77,10 +77,10 @@ let (a, b) := Interp-η
  uint128_t x105 = x104 >> 0x55;
  uint128_t x106 = x104 & 0x1fffffffffffffffffffffL;
  uint128_t x107 = x100 + 0x5 * x105;
- uint128_t x108 = x107 >> 0x55;
+ bool x108 = (bool) (x107 >> 0x55);
  uint128_t x109 = x107 & 0x1fffffffffffffffffffffL;
  uint128_t x110 = x108 + x103;
- uint128_t x111 = x110 >> 0x55;
+ bool x111 = (bool) (x110 >> 0x55);
  uint128_t x112 = x110 & 0x1fffffffffffffffffffffL;
  uint128_t x113 = x111 + x106;
  uint128_t x114 = x56 + x113;
@@ -101,7 +101,7 @@ let (a, b) := Interp-η
  uint128_t x129 = x128 >> 0x55;
  uint128_t x130 = x128 & 0x1fffffffffffffffffffffL;
  uint128_t x131 = x129 + x124;
- uint128_t x132 = x131 >> 0x55;
+ bool x132 = (bool) (x131 >> 0x55);
  uint128_t x133 = x131 & 0x1fffffffffffffffffffffL;
  uint128_t x134 = x132 + x127;
  uint128_t x135 = x27 + x31;
@@ -125,7 +125,7 @@ let (a, b) := Interp-η
  uint128_t x153 = x152 >> 0x55;
  uint128_t x154 = x152 & 0x1fffffffffffffffffffffL;
  uint128_t x155 = x153 + x148;
- uint128_t x156 = x155 >> 0x55;
+ bool x156 = (bool) (x155 >> 0x55);
  uint128_t x157 = x155 & 0x1fffffffffffffffffffffL;
  uint128_t x158 = x156 + x151;
  uint256_t x159 = (uint256_t) x140 * x33 + ((uint256_t) x139 * x34 + (uint256_t) x138 * x35);
@@ -143,7 +143,7 @@ let (a, b) := Interp-η
  uint128_t x171 = x170 >> 0x55;
  uint128_t x172 = x170 & 0x1fffffffffffffffffffffL;
  uint128_t x173 = x171 + x166;
- uint128_t x174 = x173 >> 0x55;
+ bool x174 = (bool) (x173 >> 0x55);
  uint128_t x175 = x173 & 0x1fffffffffffffffffffffL;
  uint128_t x176 = x174 + x169;
  uint128_t x177 = x176 + x158;
@@ -167,7 +167,7 @@ let (a, b) := Interp-η
  uint128_t x195 = x194 >> 0x55;
  uint128_t x196 = x194 & 0x1fffffffffffffffffffffL;
  uint128_t x197 = x195 + x190;
- uint128_t x198 = x197 >> 0x55;
+ bool x198 = (bool) (x197 >> 0x55);
  uint128_t x199 = x197 & 0x1fffffffffffffffffffffL;
  uint128_t x200 = x198 + x193;
  uint128_t x201 = 0x3ffffffffffffffffffffeL + x176 - x158;
@@ -191,7 +191,7 @@ let (a, b) := Interp-η
  uint128_t x219 = x218 >> 0x55;
  uint128_t x220 = x218 & 0x1fffffffffffffffffffffL;
  uint128_t x221 = x219 + x214;
- uint128_t x222 = x221 >> 0x55;
+ bool x222 = (bool) (x221 >> 0x55);
  uint128_t x223 = x221 & 0x1fffffffffffffffffffffL;
  uint128_t x224 = x222 + x217;
  uint256_t x225 = (uint256_t) x10 * x224 + ((uint256_t) x12 * x223 + (uint256_t) x11 * x220);
@@ -209,7 +209,7 @@ let (a, b) := Interp-η
  uint128_t x237 = x236 >> 0x55;
  uint128_t x238 = x236 & 0x1fffffffffffffffffffffL;
  uint128_t x239 = x237 + x232;
- uint128_t x240 = x239 >> 0x55;
+ bool x240 = (bool) (x239 >> 0x55);
  uint128_t x241 = x239 & 0x1fffffffffffffffffffffL;
  uint128_t x242 = x240 + x235;
  return (Return x92, Return x91, Return x88, (Return x134, Return x133, Return x130), (Return x200, Return x199, Return x196, (Return x242, Return x241, Return x238))))
diff --git a/src/Specific/IntegrationTestLadderstepDisplay.log b/src/Specific/IntegrationTestLadderstepDisplay.log
index 40c93cb59..5895c9c61 100644
--- a/src/Specific/IntegrationTestLadderstepDisplay.log
+++ b/src/Specific/IntegrationTestLadderstepDisplay.log
@@ -53,7 +53,7 @@ let (a, b) := Interp-η
  uint64_t x101 = x100 >> 0x33;
  uint64_t x102 = x100 & 0x7ffffffffffff;
  uint64_t x103 = x101 + x90;
- uint64_t x104 = x103 >> 0x33;
+ bool x104 = (bool) (x103 >> 0x33);
  uint64_t x105 = x103 & 0x7ffffffffffff;
  uint64_t x106 = x104 + x93;
  uint128_t x107 = (uint128_t) x57 * x72;
@@ -87,7 +87,7 @@ let (a, b) := Interp-η
  uint64_t x135 = x134 >> 0x33;
  uint64_t x136 = x134 & 0x7ffffffffffff;
  uint64_t x137 = x135 + x124;
- uint64_t x138 = x137 >> 0x33;
+ bool x138 = (bool) (x137 >> 0x33);
  uint64_t x139 = x137 & 0x7ffffffffffff;
  uint64_t x140 = x138 + x127;
  uint64_t x141 = x99 + x133;
@@ -128,7 +128,7 @@ let (a, b) := Interp-η
  uint64_t x176 = x175 >> 0x33;
  uint64_t x177 = x175 & 0x7ffffffffffff;
  uint64_t x178 = x176 + x165;
- uint64_t x179 = x178 >> 0x33;
+ bool x179 = (bool) (x178 >> 0x33);
  uint64_t x180 = x178 & 0x7ffffffffffff;
  uint64_t x181 = x179 + x168;
  uint64_t x182 = x150 * 0x2;
@@ -159,7 +159,7 @@ let (a, b) := Interp-η
  uint64_t x207 = x206 >> 0x33;
  uint64_t x208 = x206 & 0x7ffffffffffff;
  uint64_t x209 = x207 + x196;
- uint64_t x210 = x209 >> 0x33;
+ bool x210 = (bool) (x209 >> 0x33);
  uint64_t x211 = x209 & 0x7ffffffffffff;
  uint64_t x212 = x210 + x199;
  uint128_t x213 = (uint128_t) x208 * x10;
@@ -193,7 +193,7 @@ let (a, b) := Interp-η
  uint64_t x241 = x240 >> 0x33;
  uint64_t x242 = x240 & 0x7ffffffffffff;
  uint64_t x243 = x241 + x230;
- uint64_t x244 = x243 >> 0x33;
+ bool x244 = (bool) (x243 >> 0x33);
  uint64_t x245 = x243 & 0x7ffffffffffff;
  uint64_t x246 = x244 + x233;
  uint64_t x247 = x57 * 0x2;
@@ -224,7 +224,7 @@ let (a, b) := Interp-η
  uint64_t x272 = x271 >> 0x33;
  uint64_t x273 = x271 & 0x7ffffffffffff;
  uint64_t x274 = x272 + x261;
- uint64_t x275 = x274 >> 0x33;
+ bool x275 = (bool) (x274 >> 0x33);
  uint64_t x276 = x274 & 0x7ffffffffffff;
  uint64_t x277 = x275 + x264;
  uint64_t x278 = x62 * 0x2;
@@ -255,7 +255,7 @@ let (a, b) := Interp-η
  uint64_t x303 = x302 >> 0x33;
  uint64_t x304 = x302 & 0x7ffffffffffff;
  uint64_t x305 = x303 + x292;
- uint64_t x306 = x305 >> 0x33;
+ bool x306 = (bool) (x305 >> 0x33);
  uint64_t x307 = x305 & 0x7ffffffffffff;
  uint64_t x308 = x306 + x295;
  uint128_t x309 = (uint128_t) x273 * x304;
@@ -289,7 +289,7 @@ let (a, b) := Interp-η
  uint64_t x337 = x336 >> 0x33;
  uint64_t x338 = x336 & 0x7ffffffffffff;
  uint64_t x339 = x337 + x326;
- uint64_t x340 = x339 >> 0x33;
+ bool x340 = (bool) (x339 >> 0x33);
  uint64_t x341 = x339 & 0x7ffffffffffff;
  uint64_t x342 = x340 + x329;
  uint64_t x343 = 0xffffffffffffe + x270 - x301;
@@ -321,10 +321,10 @@ let (a, b) := Interp-η
  uint64_t x369 = (uint64_t) (x368 >> 0x33);
  uint64_t x370 = (uint64_t) x368 & 0x7ffffffffffff;
  uint64_t x371 = x358 + 0x13 * x369;
- uint64_t x372 = x371 >> 0x33;
+ bool x372 = (bool) (x371 >> 0x33);
  uint64_t x373 = x371 & 0x7ffffffffffff;
  uint64_t x374 = x372 + x361;
- uint64_t x375 = x374 >> 0x33;
+ bool x375 = (bool) (x374 >> 0x33);
  uint64_t x376 = x374 & 0x7ffffffffffff;
  uint64_t x377 = x375 + x364;
  uint64_t x378 = x370 + x270;
@@ -363,7 +363,7 @@ let (a, b) := Interp-η
  uint64_t x411 = x410 >> 0x33;
  uint64_t x412 = x410 & 0x7ffffffffffff;
  uint64_t x413 = x411 + x400;
- uint64_t x414 = x413 >> 0x33;
+ bool x414 = (bool) (x413 >> 0x33);
  uint64_t x415 = x413 & 0x7ffffffffffff;
  uint64_t x416 = x414 + x403;
  return (Return x335, Return x332, Return x342, Return x341, Return x338, (Return x409, Return x406, Return x416, Return x415, Return x412), (Return x174, Return x171, Return x181, Return x180, Return x177, (Return x239, Return x236, Return x246, Return x245, Return x242))))
diff --git a/src/Specific/IntegrationTestMulDisplay.log b/src/Specific/IntegrationTestMulDisplay.log
index e49d7c117..fadf37f9d 100644
--- a/src/Specific/IntegrationTestMulDisplay.log
+++ b/src/Specific/IntegrationTestMulDisplay.log
@@ -33,7 +33,7 @@ Interp-η
  uint64_t x48 = x47 >> 0x33;
  uint64_t x49 = x47 & 0x7ffffffffffff;
  uint64_t x50 = x48 + x37;
- uint64_t x51 = x50 >> 0x33;
+ bool x51 = (bool) (x50 >> 0x33);
  uint64_t x52 = x50 & 0x7ffffffffffff;
  return (Return x46, Return x43, x51 + x40, Return x52, Return x49))
 (x, x0)%core
diff --git a/src/Specific/IntegrationTestSquareDisplay.log b/src/Specific/IntegrationTestSquareDisplay.log
index 3ffce8c98..fcdaf3635 100644
--- a/src/Specific/IntegrationTestSquareDisplay.log
+++ b/src/Specific/IntegrationTestSquareDisplay.log
@@ -30,7 +30,7 @@ Interp-η
  uint64_t x34 = x33 >> 0x33;
  uint64_t x35 = x33 & 0x7ffffffffffff;
  uint64_t x36 = x34 + x23;
- uint64_t x37 = x36 >> 0x33;
+ bool x37 = (bool) (x36 >> 0x33);
  uint64_t x38 = x36 & 0x7ffffffffffff;
  return (Return x32, Return x29, x37 + x26, Return x38, Return x35))
 x
diff --git a/src/Specific/IntegrationTestSubDisplay.log b/src/Specific/IntegrationTestSubDisplay.log
index ae675b0e7..1d8934686 100644
--- a/src/Specific/IntegrationTestSubDisplay.log
+++ b/src/Specific/IntegrationTestSubDisplay.log
@@ -22,10 +22,10 @@ Interp-η
  uint64_t x37 = x36 >> 0x33;
  uint64_t x38 = x36 & 0x7ffffffffffff;
  uint64_t x39 = x26 + 0x13 * x37;
- uint64_t x40 = x39 >> 0x33;
+ bool x40 = (bool) (x39 >> 0x33);
  uint64_t x41 = x39 & 0x7ffffffffffff;
  uint64_t x42 = x40 + x29;
- uint64_t x43 = x42 >> 0x33;
+ bool x43 = (bool) (x42 >> 0x33);
  uint64_t x44 = x42 & 0x7ffffffffffff;
  return (Return x38, Return x35, x43 + x32, Return x44, Return x41))
 (x, x0)%core