Rebuild .c files

It seems some commutativity has changed

1 files changed, 172 insertions, 172 deletions

diff --git a/p256_64.c b/p256_64.c
index a5ce6ec56..3279a82dc 100644
--- a/p256_64.c
+++ b/p256_64.c
@@ -136,16 +136,16 @@ static void fiat_p256_mul(uint64_t out1[4], const uint64_t arg1[4], const uint64
   fiat_p256_mulx_u64(&x11, &x12, x4, (arg2[0]));
   uint64_t x13;
   fiat_p256_uint1 x14;
-  fiat_p256_addcarryx_u64(&x13, &x14, 0x0, x9, x12);
+  fiat_p256_addcarryx_u64(&x13, &x14, 0x0, x12, x9);
   uint64_t x15;
   fiat_p256_uint1 x16;
-  fiat_p256_addcarryx_u64(&x15, &x16, x14, x7, x10);
+  fiat_p256_addcarryx_u64(&x15, &x16, x14, x10, x7);
   uint64_t x17;
   fiat_p256_uint1 x18;
-  fiat_p256_addcarryx_u64(&x17, &x18, x16, x5, x8);
+  fiat_p256_addcarryx_u64(&x17, &x18, x16, x8, x5);
   uint64_t x19;
   fiat_p256_uint1 x20;
-  fiat_p256_addcarryx_u64(&x19, &x20, x18, 0x0, x6);
+  fiat_p256_addcarryx_u64(&x19, &x20, x18, x6, 0x0);
   uint64_t x21;
   uint64_t x22;
   fiat_p256_mulx_u64(&x21, &x22, x11, UINT64_C(0xffffffff00000001));
@@ -157,25 +157,25 @@ static void fiat_p256_mul(uint64_t out1[4], const uint64_t arg1[4], const uint64
   fiat_p256_mulx_u64(&x25, &x26, x11, UINT64_C(0xffffffffffffffff));
   uint64_t x27;
   fiat_p256_uint1 x28;
-  fiat_p256_addcarryx_u64(&x27, &x28, 0x0, x23, x26);
+  fiat_p256_addcarryx_u64(&x27, &x28, 0x0, x26, x23);
   uint64_t x29;
   fiat_p256_uint1 x30;
-  fiat_p256_addcarryx_u64(&x29, &x30, x28, 0x0, x24);
+  fiat_p256_addcarryx_u64(&x29, &x30, x28, x24, 0x0);
   uint64_t x31;
   fiat_p256_uint1 x32;
-  fiat_p256_addcarryx_u64(&x31, &x32, 0x0, x25, x11);
+  fiat_p256_addcarryx_u64(&x31, &x32, 0x0, x11, x25);
   uint64_t x33;
   fiat_p256_uint1 x34;
-  fiat_p256_addcarryx_u64(&x33, &x34, x32, x27, x13);
+  fiat_p256_addcarryx_u64(&x33, &x34, x32, x13, x27);
   uint64_t x35;
   fiat_p256_uint1 x36;
-  fiat_p256_addcarryx_u64(&x35, &x36, x34, x29, x15);
+  fiat_p256_addcarryx_u64(&x35, &x36, x34, x15, x29);
   uint64_t x37;
   fiat_p256_uint1 x38;
-  fiat_p256_addcarryx_u64(&x37, &x38, x36, x21, x17);
+  fiat_p256_addcarryx_u64(&x37, &x38, x36, x17, x21);
   uint64_t x39;
   fiat_p256_uint1 x40;
-  fiat_p256_addcarryx_u64(&x39, &x40, x38, x22, x19);
+  fiat_p256_addcarryx_u64(&x39, &x40, x38, x19, x22);
   uint64_t x41;
   fiat_p256_uint1 x42;
   fiat_p256_addcarryx_u64(&x41, &x42, x40, 0x0, 0x0);
@@ -193,31 +193,31 @@ static void fiat_p256_mul(uint64_t out1[4], const uint64_t arg1[4], const uint64
   fiat_p256_mulx_u64(&x49, &x50, x1, (arg2[0]));
   uint64_t x51;
   fiat_p256_uint1 x52;
-  fiat_p256_addcarryx_u64(&x51, &x52, 0x0, x47, x50);
+  fiat_p256_addcarryx_u64(&x51, &x52, 0x0, x50, x47);
   uint64_t x53;
   fiat_p256_uint1 x54;
-  fiat_p256_addcarryx_u64(&x53, &x54, x52, x45, x48);
+  fiat_p256_addcarryx_u64(&x53, &x54, x52, x48, x45);
   uint64_t x55;
   fiat_p256_uint1 x56;
-  fiat_p256_addcarryx_u64(&x55, &x56, x54, x43, x46);
+  fiat_p256_addcarryx_u64(&x55, &x56, x54, x46, x43);
   uint64_t x57;
   fiat_p256_uint1 x58;
-  fiat_p256_addcarryx_u64(&x57, &x58, x56, 0x0, x44);
+  fiat_p256_addcarryx_u64(&x57, &x58, x56, x44, 0x0);
   uint64_t x59;
   fiat_p256_uint1 x60;
-  fiat_p256_addcarryx_u64(&x59, &x60, 0x0, x49, x33);
+  fiat_p256_addcarryx_u64(&x59, &x60, 0x0, x33, x49);
   uint64_t x61;
   fiat_p256_uint1 x62;
-  fiat_p256_addcarryx_u64(&x61, &x62, x60, x51, x35);
+  fiat_p256_addcarryx_u64(&x61, &x62, x60, x35, x51);
   uint64_t x63;
   fiat_p256_uint1 x64;
-  fiat_p256_addcarryx_u64(&x63, &x64, x62, x53, x37);
+  fiat_p256_addcarryx_u64(&x63, &x64, x62, x37, x53);
   uint64_t x65;
   fiat_p256_uint1 x66;
-  fiat_p256_addcarryx_u64(&x65, &x66, x64, x55, x39);
+  fiat_p256_addcarryx_u64(&x65, &x66, x64, x39, x55);
   uint64_t x67;
   fiat_p256_uint1 x68;
-  fiat_p256_addcarryx_u64(&x67, &x68, x66, x57, (fiat_p256_uint1)x41);
+  fiat_p256_addcarryx_u64(&x67, &x68, x66, (fiat_p256_uint1)x41, x57);
   uint64_t x69;
   uint64_t x70;
   fiat_p256_mulx_u64(&x69, &x70, x59, UINT64_C(0xffffffff00000001));
@@ -229,28 +229,28 @@ static void fiat_p256_mul(uint64_t out1[4], const uint64_t arg1[4], const uint64
   fiat_p256_mulx_u64(&x73, &x74, x59, UINT64_C(0xffffffffffffffff));
   uint64_t x75;
   fiat_p256_uint1 x76;
-  fiat_p256_addcarryx_u64(&x75, &x76, 0x0, x71, x74);
+  fiat_p256_addcarryx_u64(&x75, &x76, 0x0, x74, x71);
   uint64_t x77;
   fiat_p256_uint1 x78;
-  fiat_p256_addcarryx_u64(&x77, &x78, x76, 0x0, x72);
+  fiat_p256_addcarryx_u64(&x77, &x78, x76, x72, 0x0);
   uint64_t x79;
   fiat_p256_uint1 x80;
-  fiat_p256_addcarryx_u64(&x79, &x80, 0x0, x73, x59);
+  fiat_p256_addcarryx_u64(&x79, &x80, 0x0, x59, x73);
   uint64_t x81;
   fiat_p256_uint1 x82;
-  fiat_p256_addcarryx_u64(&x81, &x82, x80, x75, x61);
+  fiat_p256_addcarryx_u64(&x81, &x82, x80, x61, x75);
   uint64_t x83;
   fiat_p256_uint1 x84;
-  fiat_p256_addcarryx_u64(&x83, &x84, x82, x77, x63);
+  fiat_p256_addcarryx_u64(&x83, &x84, x82, x63, x77);
   uint64_t x85;
   fiat_p256_uint1 x86;
-  fiat_p256_addcarryx_u64(&x85, &x86, x84, x69, x65);
+  fiat_p256_addcarryx_u64(&x85, &x86, x84, x65, x69);
   uint64_t x87;
   fiat_p256_uint1 x88;
-  fiat_p256_addcarryx_u64(&x87, &x88, x86, x70, x67);
+  fiat_p256_addcarryx_u64(&x87, &x88, x86, x67, x70);
   uint64_t x89;
   fiat_p256_uint1 x90;
-  fiat_p256_addcarryx_u64(&x89, &x90, x88, 0x0, x68);
+  fiat_p256_addcarryx_u64(&x89, &x90, x88, x68, 0x0);
   uint64_t x91;
   uint64_t x92;
   fiat_p256_mulx_u64(&x91, &x92, x2, (arg2[3]));
@@ -265,31 +265,31 @@ static void fiat_p256_mul(uint64_t out1[4], const uint64_t arg1[4], const uint64
   fiat_p256_mulx_u64(&x97, &x98, x2, (arg2[0]));
   uint64_t x99;
   fiat_p256_uint1 x100;
-  fiat_p256_addcarryx_u64(&x99, &x100, 0x0, x95, x98);
+  fiat_p256_addcarryx_u64(&x99, &x100, 0x0, x98, x95);
   uint64_t x101;
   fiat_p256_uint1 x102;
-  fiat_p256_addcarryx_u64(&x101, &x102, x100, x93, x96);
+  fiat_p256_addcarryx_u64(&x101, &x102, x100, x96, x93);
   uint64_t x103;
   fiat_p256_uint1 x104;
-  fiat_p256_addcarryx_u64(&x103, &x104, x102, x91, x94);
+  fiat_p256_addcarryx_u64(&x103, &x104, x102, x94, x91);
   uint64_t x105;
   fiat_p256_uint1 x106;
-  fiat_p256_addcarryx_u64(&x105, &x106, x104, 0x0, x92);
+  fiat_p256_addcarryx_u64(&x105, &x106, x104, x92, 0x0);
   uint64_t x107;
   fiat_p256_uint1 x108;
-  fiat_p256_addcarryx_u64(&x107, &x108, 0x0, x97, x81);
+  fiat_p256_addcarryx_u64(&x107, &x108, 0x0, x81, x97);
   uint64_t x109;
   fiat_p256_uint1 x110;
-  fiat_p256_addcarryx_u64(&x109, &x110, x108, x99, x83);
+  fiat_p256_addcarryx_u64(&x109, &x110, x108, x83, x99);
   uint64_t x111;
   fiat_p256_uint1 x112;
-  fiat_p256_addcarryx_u64(&x111, &x112, x110, x101, x85);
+  fiat_p256_addcarryx_u64(&x111, &x112, x110, x85, x101);
   uint64_t x113;
   fiat_p256_uint1 x114;
-  fiat_p256_addcarryx_u64(&x113, &x114, x112, x103, x87);
+  fiat_p256_addcarryx_u64(&x113, &x114, x112, x87, x103);
   uint64_t x115;
   fiat_p256_uint1 x116;
-  fiat_p256_addcarryx_u64(&x115, &x116, x114, x105, x89);
+  fiat_p256_addcarryx_u64(&x115, &x116, x114, x89, x105);
   uint64_t x117;
   uint64_t x118;
   fiat_p256_mulx_u64(&x117, &x118, x107, UINT64_C(0xffffffff00000001));
@@ -301,28 +301,28 @@ static void fiat_p256_mul(uint64_t out1[4], const uint64_t arg1[4], const uint64
   fiat_p256_mulx_u64(&x121, &x122, x107, UINT64_C(0xffffffffffffffff));
   uint64_t x123;
   fiat_p256_uint1 x124;
-  fiat_p256_addcarryx_u64(&x123, &x124, 0x0, x119, x122);
+  fiat_p256_addcarryx_u64(&x123, &x124, 0x0, x122, x119);
   uint64_t x125;
   fiat_p256_uint1 x126;
-  fiat_p256_addcarryx_u64(&x125, &x126, x124, 0x0, x120);
+  fiat_p256_addcarryx_u64(&x125, &x126, x124, x120, 0x0);
   uint64_t x127;
   fiat_p256_uint1 x128;
-  fiat_p256_addcarryx_u64(&x127, &x128, 0x0, x121, x107);
+  fiat_p256_addcarryx_u64(&x127, &x128, 0x0, x107, x121);
   uint64_t x129;
   fiat_p256_uint1 x130;
-  fiat_p256_addcarryx_u64(&x129, &x130, x128, x123, x109);
+  fiat_p256_addcarryx_u64(&x129, &x130, x128, x109, x123);
   uint64_t x131;
   fiat_p256_uint1 x132;
-  fiat_p256_addcarryx_u64(&x131, &x132, x130, x125, x111);
+  fiat_p256_addcarryx_u64(&x131, &x132, x130, x111, x125);
   uint64_t x133;
   fiat_p256_uint1 x134;
-  fiat_p256_addcarryx_u64(&x133, &x134, x132, x117, x113);
+  fiat_p256_addcarryx_u64(&x133, &x134, x132, x113, x117);
   uint64_t x135;
   fiat_p256_uint1 x136;
-  fiat_p256_addcarryx_u64(&x135, &x136, x134, x118, x115);
+  fiat_p256_addcarryx_u64(&x135, &x136, x134, x115, x118);
   uint64_t x137;
   fiat_p256_uint1 x138;
-  fiat_p256_addcarryx_u64(&x137, &x138, x136, 0x0, x116);
+  fiat_p256_addcarryx_u64(&x137, &x138, x136, x116, 0x0);
   uint64_t x139;
   uint64_t x140;
   fiat_p256_mulx_u64(&x139, &x140, x3, (arg2[3]));
@@ -337,31 +337,31 @@ static void fiat_p256_mul(uint64_t out1[4], const uint64_t arg1[4], const uint64
   fiat_p256_mulx_u64(&x145, &x146, x3, (arg2[0]));
   uint64_t x147;
   fiat_p256_uint1 x148;
-  fiat_p256_addcarryx_u64(&x147, &x148, 0x0, x143, x146);
+  fiat_p256_addcarryx_u64(&x147, &x148, 0x0, x146, x143);
   uint64_t x149;
   fiat_p256_uint1 x150;
-  fiat_p256_addcarryx_u64(&x149, &x150, x148, x141, x144);
+  fiat_p256_addcarryx_u64(&x149, &x150, x148, x144, x141);
   uint64_t x151;
   fiat_p256_uint1 x152;
-  fiat_p256_addcarryx_u64(&x151, &x152, x150, x139, x142);
+  fiat_p256_addcarryx_u64(&x151, &x152, x150, x142, x139);
   uint64_t x153;
   fiat_p256_uint1 x154;
-  fiat_p256_addcarryx_u64(&x153, &x154, x152, 0x0, x140);
+  fiat_p256_addcarryx_u64(&x153, &x154, x152, x140, 0x0);
   uint64_t x155;
   fiat_p256_uint1 x156;
-  fiat_p256_addcarryx_u64(&x155, &x156, 0x0, x145, x129);
+  fiat_p256_addcarryx_u64(&x155, &x156, 0x0, x129, x145);
   uint64_t x157;
   fiat_p256_uint1 x158;
-  fiat_p256_addcarryx_u64(&x157, &x158, x156, x147, x131);
+  fiat_p256_addcarryx_u64(&x157, &x158, x156, x131, x147);
   uint64_t x159;
   fiat_p256_uint1 x160;
-  fiat_p256_addcarryx_u64(&x159, &x160, x158, x149, x133);
+  fiat_p256_addcarryx_u64(&x159, &x160, x158, x133, x149);
   uint64_t x161;
   fiat_p256_uint1 x162;
-  fiat_p256_addcarryx_u64(&x161, &x162, x160, x151, x135);
+  fiat_p256_addcarryx_u64(&x161, &x162, x160, x135, x151);
   uint64_t x163;
   fiat_p256_uint1 x164;
-  fiat_p256_addcarryx_u64(&x163, &x164, x162, x153, x137);
+  fiat_p256_addcarryx_u64(&x163, &x164, x162, x137, x153);
   uint64_t x165;
   uint64_t x166;
   fiat_p256_mulx_u64(&x165, &x166, x155, UINT64_C(0xffffffff00000001));
@@ -373,28 +373,28 @@ static void fiat_p256_mul(uint64_t out1[4], const uint64_t arg1[4], const uint64
   fiat_p256_mulx_u64(&x169, &x170, x155, UINT64_C(0xffffffffffffffff));
   uint64_t x171;
   fiat_p256_uint1 x172;
-  fiat_p256_addcarryx_u64(&x171, &x172, 0x0, x167, x170);
+  fiat_p256_addcarryx_u64(&x171, &x172, 0x0, x170, x167);
   uint64_t x173;
   fiat_p256_uint1 x174;
-  fiat_p256_addcarryx_u64(&x173, &x174, x172, 0x0, x168);
+  fiat_p256_addcarryx_u64(&x173, &x174, x172, x168, 0x0);
   uint64_t x175;
   fiat_p256_uint1 x176;
-  fiat_p256_addcarryx_u64(&x175, &x176, 0x0, x169, x155);
+  fiat_p256_addcarryx_u64(&x175, &x176, 0x0, x155, x169);
   uint64_t x177;
   fiat_p256_uint1 x178;
-  fiat_p256_addcarryx_u64(&x177, &x178, x176, x171, x157);
+  fiat_p256_addcarryx_u64(&x177, &x178, x176, x157, x171);
   uint64_t x179;
   fiat_p256_uint1 x180;
-  fiat_p256_addcarryx_u64(&x179, &x180, x178, x173, x159);
+  fiat_p256_addcarryx_u64(&x179, &x180, x178, x159, x173);
   uint64_t x181;
   fiat_p256_uint1 x182;
-  fiat_p256_addcarryx_u64(&x181, &x182, x180, x165, x161);
+  fiat_p256_addcarryx_u64(&x181, &x182, x180, x161, x165);
   uint64_t x183;
   fiat_p256_uint1 x184;
-  fiat_p256_addcarryx_u64(&x183, &x184, x182, x166, x163);
+  fiat_p256_addcarryx_u64(&x183, &x184, x182, x163, x166);
   uint64_t x185;
   fiat_p256_uint1 x186;
-  fiat_p256_addcarryx_u64(&x185, &x186, x184, 0x0, x164);
+  fiat_p256_addcarryx_u64(&x185, &x186, x184, x164, 0x0);
   uint64_t x187;
   fiat_p256_uint1 x188;
   fiat_p256_subborrowx_u64(&x187, &x188, 0x0, x177, UINT64_C(0xffffffffffffffff));
@@ -456,16 +456,16 @@ static void fiat_p256_square(uint64_t out1[4], const uint64_t arg1[4]) {
   fiat_p256_mulx_u64(&x11, &x12, x4, (arg1[0]));
   uint64_t x13;
   fiat_p256_uint1 x14;
-  fiat_p256_addcarryx_u64(&x13, &x14, 0x0, x9, x12);
+  fiat_p256_addcarryx_u64(&x13, &x14, 0x0, x12, x9);
   uint64_t x15;
   fiat_p256_uint1 x16;
-  fiat_p256_addcarryx_u64(&x15, &x16, x14, x7, x10);
+  fiat_p256_addcarryx_u64(&x15, &x16, x14, x10, x7);
   uint64_t x17;
   fiat_p256_uint1 x18;
-  fiat_p256_addcarryx_u64(&x17, &x18, x16, x5, x8);
+  fiat_p256_addcarryx_u64(&x17, &x18, x16, x8, x5);
   uint64_t x19;
   fiat_p256_uint1 x20;
-  fiat_p256_addcarryx_u64(&x19, &x20, x18, 0x0, x6);
+  fiat_p256_addcarryx_u64(&x19, &x20, x18, x6, 0x0);
   uint64_t x21;
   uint64_t x22;
   fiat_p256_mulx_u64(&x21, &x22, x11, UINT64_C(0xffffffff00000001));
@@ -477,25 +477,25 @@ static void fiat_p256_square(uint64_t out1[4], const uint64_t arg1[4]) {
   fiat_p256_mulx_u64(&x25, &x26, x11, UINT64_C(0xffffffffffffffff));
   uint64_t x27;
   fiat_p256_uint1 x28;
-  fiat_p256_addcarryx_u64(&x27, &x28, 0x0, x23, x26);
+  fiat_p256_addcarryx_u64(&x27, &x28, 0x0, x26, x23);
   uint64_t x29;
   fiat_p256_uint1 x30;
-  fiat_p256_addcarryx_u64(&x29, &x30, x28, 0x0, x24);
+  fiat_p256_addcarryx_u64(&x29, &x30, x28, x24, 0x0);
   uint64_t x31;
   fiat_p256_uint1 x32;
-  fiat_p256_addcarryx_u64(&x31, &x32, 0x0, x25, x11);
+  fiat_p256_addcarryx_u64(&x31, &x32, 0x0, x11, x25);
   uint64_t x33;
   fiat_p256_uint1 x34;
-  fiat_p256_addcarryx_u64(&x33, &x34, x32, x27, x13);
+  fiat_p256_addcarryx_u64(&x33, &x34, x32, x13, x27);
   uint64_t x35;
   fiat_p256_uint1 x36;
-  fiat_p256_addcarryx_u64(&x35, &x36, x34, x29, x15);
+  fiat_p256_addcarryx_u64(&x35, &x36, x34, x15, x29);
   uint64_t x37;
   fiat_p256_uint1 x38;
-  fiat_p256_addcarryx_u64(&x37, &x38, x36, x21, x17);
+  fiat_p256_addcarryx_u64(&x37, &x38, x36, x17, x21);
   uint64_t x39;
   fiat_p256_uint1 x40;
-  fiat_p256_addcarryx_u64(&x39, &x40, x38, x22, x19);
+  fiat_p256_addcarryx_u64(&x39, &x40, x38, x19, x22);
   uint64_t x41;
   fiat_p256_uint1 x42;
   fiat_p256_addcarryx_u64(&x41, &x42, x40, 0x0, 0x0);
@@ -513,31 +513,31 @@ static void fiat_p256_square(uint64_t out1[4], const uint64_t arg1[4]) {
   fiat_p256_mulx_u64(&x49, &x50, x1, (arg1[0]));
   uint64_t x51;
   fiat_p256_uint1 x52;
-  fiat_p256_addcarryx_u64(&x51, &x52, 0x0, x47, x50);
+  fiat_p256_addcarryx_u64(&x51, &x52, 0x0, x50, x47);
   uint64_t x53;
   fiat_p256_uint1 x54;
-  fiat_p256_addcarryx_u64(&x53, &x54, x52, x45, x48);
+  fiat_p256_addcarryx_u64(&x53, &x54, x52, x48, x45);
   uint64_t x55;
   fiat_p256_uint1 x56;
-  fiat_p256_addcarryx_u64(&x55, &x56, x54, x43, x46);
+  fiat_p256_addcarryx_u64(&x55, &x56, x54, x46, x43);
   uint64_t x57;
   fiat_p256_uint1 x58;
-  fiat_p256_addcarryx_u64(&x57, &x58, x56, 0x0, x44);
+  fiat_p256_addcarryx_u64(&x57, &x58, x56, x44, 0x0);
   uint64_t x59;
   fiat_p256_uint1 x60;
-  fiat_p256_addcarryx_u64(&x59, &x60, 0x0, x49, x33);
+  fiat_p256_addcarryx_u64(&x59, &x60, 0x0, x33, x49);
   uint64_t x61;
   fiat_p256_uint1 x62;
-  fiat_p256_addcarryx_u64(&x61, &x62, x60, x51, x35);
+  fiat_p256_addcarryx_u64(&x61, &x62, x60, x35, x51);
   uint64_t x63;
   fiat_p256_uint1 x64;
-  fiat_p256_addcarryx_u64(&x63, &x64, x62, x53, x37);
+  fiat_p256_addcarryx_u64(&x63, &x64, x62, x37, x53);
   uint64_t x65;
   fiat_p256_uint1 x66;
-  fiat_p256_addcarryx_u64(&x65, &x66, x64, x55, x39);
+  fiat_p256_addcarryx_u64(&x65, &x66, x64, x39, x55);
   uint64_t x67;
   fiat_p256_uint1 x68;
-  fiat_p256_addcarryx_u64(&x67, &x68, x66, x57, (fiat_p256_uint1)x41);
+  fiat_p256_addcarryx_u64(&x67, &x68, x66, (fiat_p256_uint1)x41, x57);
   uint64_t x69;
   uint64_t x70;
   fiat_p256_mulx_u64(&x69, &x70, x59, UINT64_C(0xffffffff00000001));
@@ -549,28 +549,28 @@ static void fiat_p256_square(uint64_t out1[4], const uint64_t arg1[4]) {
   fiat_p256_mulx_u64(&x73, &x74, x59, UINT64_C(0xffffffffffffffff));
   uint64_t x75;
   fiat_p256_uint1 x76;
-  fiat_p256_addcarryx_u64(&x75, &x76, 0x0, x71, x74);
+  fiat_p256_addcarryx_u64(&x75, &x76, 0x0, x74, x71);
   uint64_t x77;
   fiat_p256_uint1 x78;
-  fiat_p256_addcarryx_u64(&x77, &x78, x76, 0x0, x72);
+  fiat_p256_addcarryx_u64(&x77, &x78, x76, x72, 0x0);
   uint64_t x79;
   fiat_p256_uint1 x80;
-  fiat_p256_addcarryx_u64(&x79, &x80, 0x0, x73, x59);
+  fiat_p256_addcarryx_u64(&x79, &x80, 0x0, x59, x73);
   uint64_t x81;
   fiat_p256_uint1 x82;
-  fiat_p256_addcarryx_u64(&x81, &x82, x80, x75, x61);
+  fiat_p256_addcarryx_u64(&x81, &x82, x80, x61, x75);
   uint64_t x83;
   fiat_p256_uint1 x84;
-  fiat_p256_addcarryx_u64(&x83, &x84, x82, x77, x63);
+  fiat_p256_addcarryx_u64(&x83, &x84, x82, x63, x77);
   uint64_t x85;
   fiat_p256_uint1 x86;
-  fiat_p256_addcarryx_u64(&x85, &x86, x84, x69, x65);
+  fiat_p256_addcarryx_u64(&x85, &x86, x84, x65, x69);
   uint64_t x87;
   fiat_p256_uint1 x88;
-  fiat_p256_addcarryx_u64(&x87, &x88, x86, x70, x67);
+  fiat_p256_addcarryx_u64(&x87, &x88, x86, x67, x70);
   uint64_t x89;
   fiat_p256_uint1 x90;
-  fiat_p256_addcarryx_u64(&x89, &x90, x88, 0x0, x68);
+  fiat_p256_addcarryx_u64(&x89, &x90, x88, x68, 0x0);
   uint64_t x91;
   uint64_t x92;
   fiat_p256_mulx_u64(&x91, &x92, x2, (arg1[3]));
@@ -585,31 +585,31 @@ static void fiat_p256_square(uint64_t out1[4], const uint64_t arg1[4]) {
   fiat_p256_mulx_u64(&x97, &x98, x2, (arg1[0]));
   uint64_t x99;
   fiat_p256_uint1 x100;
-  fiat_p256_addcarryx_u64(&x99, &x100, 0x0, x95, x98);
+  fiat_p256_addcarryx_u64(&x99, &x100, 0x0, x98, x95);
   uint64_t x101;
   fiat_p256_uint1 x102;
-  fiat_p256_addcarryx_u64(&x101, &x102, x100, x93, x96);
+  fiat_p256_addcarryx_u64(&x101, &x102, x100, x96, x93);
   uint64_t x103;
   fiat_p256_uint1 x104;
-  fiat_p256_addcarryx_u64(&x103, &x104, x102, x91, x94);
+  fiat_p256_addcarryx_u64(&x103, &x104, x102, x94, x91);
   uint64_t x105;
   fiat_p256_uint1 x106;
-  fiat_p256_addcarryx_u64(&x105, &x106, x104, 0x0, x92);
+  fiat_p256_addcarryx_u64(&x105, &x106, x104, x92, 0x0);
   uint64_t x107;
   fiat_p256_uint1 x108;
-  fiat_p256_addcarryx_u64(&x107, &x108, 0x0, x97, x81);
+  fiat_p256_addcarryx_u64(&x107, &x108, 0x0, x81, x97);
   uint64_t x109;
   fiat_p256_uint1 x110;
-  fiat_p256_addcarryx_u64(&x109, &x110, x108, x99, x83);
+  fiat_p256_addcarryx_u64(&x109, &x110, x108, x83, x99);
   uint64_t x111;
   fiat_p256_uint1 x112;
-  fiat_p256_addcarryx_u64(&x111, &x112, x110, x101, x85);
+  fiat_p256_addcarryx_u64(&x111, &x112, x110, x85, x101);
   uint64_t x113;
   fiat_p256_uint1 x114;
-  fiat_p256_addcarryx_u64(&x113, &x114, x112, x103, x87);
+  fiat_p256_addcarryx_u64(&x113, &x114, x112, x87, x103);
   uint64_t x115;
   fiat_p256_uint1 x116;
-  fiat_p256_addcarryx_u64(&x115, &x116, x114, x105, x89);
+  fiat_p256_addcarryx_u64(&x115, &x116, x114, x89, x105);
   uint64_t x117;
   uint64_t x118;
   fiat_p256_mulx_u64(&x117, &x118, x107, UINT64_C(0xffffffff00000001));
@@ -621,28 +621,28 @@ static void fiat_p256_square(uint64_t out1[4], const uint64_t arg1[4]) {
   fiat_p256_mulx_u64(&x121, &x122, x107, UINT64_C(0xffffffffffffffff));
   uint64_t x123;
   fiat_p256_uint1 x124;
-  fiat_p256_addcarryx_u64(&x123, &x124, 0x0, x119, x122);
+  fiat_p256_addcarryx_u64(&x123, &x124, 0x0, x122, x119);
   uint64_t x125;
   fiat_p256_uint1 x126;
-  fiat_p256_addcarryx_u64(&x125, &x126, x124, 0x0, x120);
+  fiat_p256_addcarryx_u64(&x125, &x126, x124, x120, 0x0);
   uint64_t x127;
   fiat_p256_uint1 x128;
-  fiat_p256_addcarryx_u64(&x127, &x128, 0x0, x121, x107);
+  fiat_p256_addcarryx_u64(&x127, &x128, 0x0, x107, x121);
   uint64_t x129;
   fiat_p256_uint1 x130;
-  fiat_p256_addcarryx_u64(&x129, &x130, x128, x123, x109);
+  fiat_p256_addcarryx_u64(&x129, &x130, x128, x109, x123);
   uint64_t x131;
   fiat_p256_uint1 x132;
-  fiat_p256_addcarryx_u64(&x131, &x132, x130, x125, x111);
+  fiat_p256_addcarryx_u64(&x131, &x132, x130, x111, x125);
   uint64_t x133;
   fiat_p256_uint1 x134;
-  fiat_p256_addcarryx_u64(&x133, &x134, x132, x117, x113);
+  fiat_p256_addcarryx_u64(&x133, &x134, x132, x113, x117);
   uint64_t x135;
   fiat_p256_uint1 x136;
-  fiat_p256_addcarryx_u64(&x135, &x136, x134, x118, x115);
+  fiat_p256_addcarryx_u64(&x135, &x136, x134, x115, x118);
   uint64_t x137;
   fiat_p256_uint1 x138;
-  fiat_p256_addcarryx_u64(&x137, &x138, x136, 0x0, x116);
+  fiat_p256_addcarryx_u64(&x137, &x138, x136, x116, 0x0);
   uint64_t x139;
   uint64_t x140;
   fiat_p256_mulx_u64(&x139, &x140, x3, (arg1[3]));
@@ -657,31 +657,31 @@ static void fiat_p256_square(uint64_t out1[4], const uint64_t arg1[4]) {
   fiat_p256_mulx_u64(&x145, &x146, x3, (arg1[0]));
   uint64_t x147;
   fiat_p256_uint1 x148;
-  fiat_p256_addcarryx_u64(&x147, &x148, 0x0, x143, x146);
+  fiat_p256_addcarryx_u64(&x147, &x148, 0x0, x146, x143);
   uint64_t x149;
   fiat_p256_uint1 x150;
-  fiat_p256_addcarryx_u64(&x149, &x150, x148, x141, x144);
+  fiat_p256_addcarryx_u64(&x149, &x150, x148, x144, x141);
   uint64_t x151;
   fiat_p256_uint1 x152;
-  fiat_p256_addcarryx_u64(&x151, &x152, x150, x139, x142);
+  fiat_p256_addcarryx_u64(&x151, &x152, x150, x142, x139);
   uint64_t x153;
   fiat_p256_uint1 x154;
-  fiat_p256_addcarryx_u64(&x153, &x154, x152, 0x0, x140);
+  fiat_p256_addcarryx_u64(&x153, &x154, x152, x140, 0x0);
   uint64_t x155;
   fiat_p256_uint1 x156;
-  fiat_p256_addcarryx_u64(&x155, &x156, 0x0, x145, x129);
+  fiat_p256_addcarryx_u64(&x155, &x156, 0x0, x129, x145);
   uint64_t x157;
   fiat_p256_uint1 x158;
-  fiat_p256_addcarryx_u64(&x157, &x158, x156, x147, x131);
+  fiat_p256_addcarryx_u64(&x157, &x158, x156, x131, x147);
   uint64_t x159;
   fiat_p256_uint1 x160;
-  fiat_p256_addcarryx_u64(&x159, &x160, x158, x149, x133);
+  fiat_p256_addcarryx_u64(&x159, &x160, x158, x133, x149);
   uint64_t x161;
   fiat_p256_uint1 x162;
-  fiat_p256_addcarryx_u64(&x161, &x162, x160, x151, x135);
+  fiat_p256_addcarryx_u64(&x161, &x162, x160, x135, x151);
   uint64_t x163;
   fiat_p256_uint1 x164;
-  fiat_p256_addcarryx_u64(&x163, &x164, x162, x153, x137);
+  fiat_p256_addcarryx_u64(&x163, &x164, x162, x137, x153);
   uint64_t x165;
   uint64_t x166;
   fiat_p256_mulx_u64(&x165, &x166, x155, UINT64_C(0xffffffff00000001));
@@ -693,28 +693,28 @@ static void fiat_p256_square(uint64_t out1[4], const uint64_t arg1[4]) {
   fiat_p256_mulx_u64(&x169, &x170, x155, UINT64_C(0xffffffffffffffff));
   uint64_t x171;
   fiat_p256_uint1 x172;
-  fiat_p256_addcarryx_u64(&x171, &x172, 0x0, x167, x170);
+  fiat_p256_addcarryx_u64(&x171, &x172, 0x0, x170, x167);
   uint64_t x173;
   fiat_p256_uint1 x174;
-  fiat_p256_addcarryx_u64(&x173, &x174, x172, 0x0, x168);
+  fiat_p256_addcarryx_u64(&x173, &x174, x172, x168, 0x0);
   uint64_t x175;
   fiat_p256_uint1 x176;
-  fiat_p256_addcarryx_u64(&x175, &x176, 0x0, x169, x155);
+  fiat_p256_addcarryx_u64(&x175, &x176, 0x0, x155, x169);
   uint64_t x177;
   fiat_p256_uint1 x178;
-  fiat_p256_addcarryx_u64(&x177, &x178, x176, x171, x157);
+  fiat_p256_addcarryx_u64(&x177, &x178, x176, x157, x171);
   uint64_t x179;
   fiat_p256_uint1 x180;
-  fiat_p256_addcarryx_u64(&x179, &x180, x178, x173, x159);
+  fiat_p256_addcarryx_u64(&x179, &x180, x178, x159, x173);
   uint64_t x181;
   fiat_p256_uint1 x182;
-  fiat_p256_addcarryx_u64(&x181, &x182, x180, x165, x161);
+  fiat_p256_addcarryx_u64(&x181, &x182, x180, x161, x165);
   uint64_t x183;
   fiat_p256_uint1 x184;
-  fiat_p256_addcarryx_u64(&x183, &x184, x182, x166, x163);
+  fiat_p256_addcarryx_u64(&x183, &x184, x182, x163, x166);
   uint64_t x185;
   fiat_p256_uint1 x186;
-  fiat_p256_addcarryx_u64(&x185, &x186, x184, 0x0, x164);
+  fiat_p256_addcarryx_u64(&x185, &x186, x184, x164, 0x0);
   uint64_t x187;
   fiat_p256_uint1 x188;
   fiat_p256_subborrowx_u64(&x187, &x188, 0x0, x177, UINT64_C(0xffffffffffffffff));
@@ -762,16 +762,16 @@ static void fiat_p256_square(uint64_t out1[4], const uint64_t arg1[4]) {
 static void fiat_p256_add(uint64_t out1[4], const uint64_t arg1[4], const uint64_t arg2[4]) {
   uint64_t x1;
   fiat_p256_uint1 x2;
-  fiat_p256_addcarryx_u64(&x1, &x2, 0x0, (arg2[0]), (arg1[0]));
+  fiat_p256_addcarryx_u64(&x1, &x2, 0x0, (arg1[0]), (arg2[0]));
   uint64_t x3;
   fiat_p256_uint1 x4;
-  fiat_p256_addcarryx_u64(&x3, &x4, x2, (arg2[1]), (arg1[1]));
+  fiat_p256_addcarryx_u64(&x3, &x4, x2, (arg1[1]), (arg2[1]));
   uint64_t x5;
   fiat_p256_uint1 x6;
-  fiat_p256_addcarryx_u64(&x5, &x6, x4, (arg2[2]), (arg1[2]));
+  fiat_p256_addcarryx_u64(&x5, &x6, x4, (arg1[2]), (arg2[2]));
   uint64_t x7;
   fiat_p256_uint1 x8;
-  fiat_p256_addcarryx_u64(&x7, &x8, x6, (arg2[3]), (arg1[3]));
+  fiat_p256_addcarryx_u64(&x7, &x8, x6, (arg1[3]), (arg2[3]));
   uint64_t x9;
   fiat_p256_uint1 x10;
   fiat_p256_subborrowx_u64(&x9, &x10, 0x0, x1, UINT64_C(0xffffffffffffffff));
@@ -833,16 +833,16 @@ static void fiat_p256_sub(uint64_t out1[4], const uint64_t arg1[4], const uint64
   fiat_p256_cmovznz_u64(&x9, x8, 0x0, UINT64_C(0xffffffffffffffff));
   uint64_t x10;
   fiat_p256_uint1 x11;
-  fiat_p256_addcarryx_u64(&x10, &x11, 0x0, (x9 & UINT64_C(0xffffffffffffffff)), x1);
+  fiat_p256_addcarryx_u64(&x10, &x11, 0x0, x1, (x9 & UINT64_C(0xffffffffffffffff)));
   uint64_t x12;
   fiat_p256_uint1 x13;
-  fiat_p256_addcarryx_u64(&x12, &x13, x11, (x9 & UINT32_C(0xffffffff)), x3);
+  fiat_p256_addcarryx_u64(&x12, &x13, x11, x3, (x9 & UINT32_C(0xffffffff)));
   uint64_t x14;
   fiat_p256_uint1 x15;
-  fiat_p256_addcarryx_u64(&x14, &x15, x13, 0x0, x5);
+  fiat_p256_addcarryx_u64(&x14, &x15, x13, x5, 0x0);
   uint64_t x16;
   fiat_p256_uint1 x17;
-  fiat_p256_addcarryx_u64(&x16, &x17, x15, (x9 & UINT64_C(0xffffffff00000001)), x7);
+  fiat_p256_addcarryx_u64(&x16, &x17, x15, x7, (x9 & UINT64_C(0xffffffff00000001)));
   out1[0] = x10;
   out1[1] = x12;
   out1[2] = x14;
@@ -879,16 +879,16 @@ static void fiat_p256_opp(uint64_t out1[4], const uint64_t arg1[4]) {
   fiat_p256_cmovznz_u64(&x9, x8, 0x0, UINT64_C(0xffffffffffffffff));
   uint64_t x10;
   fiat_p256_uint1 x11;
-  fiat_p256_addcarryx_u64(&x10, &x11, 0x0, (x9 & UINT64_C(0xffffffffffffffff)), x1);
+  fiat_p256_addcarryx_u64(&x10, &x11, 0x0, x1, (x9 & UINT64_C(0xffffffffffffffff)));
   uint64_t x12;
   fiat_p256_uint1 x13;
-  fiat_p256_addcarryx_u64(&x12, &x13, x11, (x9 & UINT32_C(0xffffffff)), x3);
+  fiat_p256_addcarryx_u64(&x12, &x13, x11, x3, (x9 & UINT32_C(0xffffffff)));
   uint64_t x14;
   fiat_p256_uint1 x15;
-  fiat_p256_addcarryx_u64(&x14, &x15, x13, 0x0, x5);
+  fiat_p256_addcarryx_u64(&x14, &x15, x13, x5, 0x0);
   uint64_t x16;
   fiat_p256_uint1 x17;
-  fiat_p256_addcarryx_u64(&x16, &x17, x15, (x9 & UINT64_C(0xffffffff00000001)), x7);
+  fiat_p256_addcarryx_u64(&x16, &x17, x15, x7, (x9 & UINT64_C(0xffffffff00000001)));
   out1[0] = x10;
   out1[1] = x12;
   out1[2] = x14;
@@ -921,16 +921,16 @@ static void fiat_p256_from_montgomery(uint64_t out1[4], const uint64_t arg1[4])
   fiat_p256_mulx_u64(&x6, &x7, x1, UINT64_C(0xffffffffffffffff));
   uint64_t x8;
   fiat_p256_uint1 x9;
-  fiat_p256_addcarryx_u64(&x8, &x9, 0x0, x4, x7);
+  fiat_p256_addcarryx_u64(&x8, &x9, 0x0, x7, x4);
   uint64_t x10;
   fiat_p256_uint1 x11;
-  fiat_p256_addcarryx_u64(&x10, &x11, 0x0, x6, x1);
+  fiat_p256_addcarryx_u64(&x10, &x11, 0x0, x1, x6);
   uint64_t x12;
   fiat_p256_uint1 x13;
-  fiat_p256_addcarryx_u64(&x12, &x13, x11, x8, 0x0);
+  fiat_p256_addcarryx_u64(&x12, &x13, x11, 0x0, x8);
   uint64_t x14;
   fiat_p256_uint1 x15;
-  fiat_p256_addcarryx_u64(&x14, &x15, 0x0, (arg1[1]), x12);
+  fiat_p256_addcarryx_u64(&x14, &x15, 0x0, x12, (arg1[1]));
   uint64_t x16;
   uint64_t x17;
   fiat_p256_mulx_u64(&x16, &x17, x14, UINT64_C(0xffffffff00000001));
@@ -942,40 +942,40 @@ static void fiat_p256_from_montgomery(uint64_t out1[4], const uint64_t arg1[4])
   fiat_p256_mulx_u64(&x20, &x21, x14, UINT64_C(0xffffffffffffffff));
   uint64_t x22;
   fiat_p256_uint1 x23;
-  fiat_p256_addcarryx_u64(&x22, &x23, 0x0, x18, x21);
+  fiat_p256_addcarryx_u64(&x22, &x23, 0x0, x21, x18);
   uint64_t x24;
   fiat_p256_uint1 x25;
-  fiat_p256_addcarryx_u64(&x24, &x25, x9, 0x0, x5);
+  fiat_p256_addcarryx_u64(&x24, &x25, x9, x5, 0x0);
   uint64_t x26;
   fiat_p256_uint1 x27;
-  fiat_p256_addcarryx_u64(&x26, &x27, x13, x24, 0x0);
+  fiat_p256_addcarryx_u64(&x26, &x27, x13, 0x0, x24);
   uint64_t x28;
   fiat_p256_uint1 x29;
-  fiat_p256_addcarryx_u64(&x28, &x29, x15, 0x0, x26);
+  fiat_p256_addcarryx_u64(&x28, &x29, x15, x26, 0x0);
   uint64_t x30;
   fiat_p256_uint1 x31;
-  fiat_p256_addcarryx_u64(&x30, &x31, 0x0, x20, x14);
+  fiat_p256_addcarryx_u64(&x30, &x31, 0x0, x14, x20);
   uint64_t x32;
   fiat_p256_uint1 x33;
-  fiat_p256_addcarryx_u64(&x32, &x33, x31, x22, x28);
+  fiat_p256_addcarryx_u64(&x32, &x33, x31, x28, x22);
   uint64_t x34;
   fiat_p256_uint1 x35;
-  fiat_p256_addcarryx_u64(&x34, &x35, x23, 0x0, x19);
+  fiat_p256_addcarryx_u64(&x34, &x35, x23, x19, 0x0);
   uint64_t x36;
   fiat_p256_uint1 x37;
-  fiat_p256_addcarryx_u64(&x36, &x37, x33, x34, x2);
+  fiat_p256_addcarryx_u64(&x36, &x37, x33, x2, x34);
   uint64_t x38;
   fiat_p256_uint1 x39;
-  fiat_p256_addcarryx_u64(&x38, &x39, x37, x16, x3);
+  fiat_p256_addcarryx_u64(&x38, &x39, x37, x3, x16);
   uint64_t x40;
   fiat_p256_uint1 x41;
-  fiat_p256_addcarryx_u64(&x40, &x41, 0x0, (arg1[2]), x32);
+  fiat_p256_addcarryx_u64(&x40, &x41, 0x0, x32, (arg1[2]));
   uint64_t x42;
   fiat_p256_uint1 x43;
-  fiat_p256_addcarryx_u64(&x42, &x43, x41, 0x0, x36);
+  fiat_p256_addcarryx_u64(&x42, &x43, x41, x36, 0x0);
   uint64_t x44;
   fiat_p256_uint1 x45;
-  fiat_p256_addcarryx_u64(&x44, &x45, x43, 0x0, x38);
+  fiat_p256_addcarryx_u64(&x44, &x45, x43, x38, 0x0);
   uint64_t x46;
   uint64_t x47;
   fiat_p256_mulx_u64(&x46, &x47, x40, UINT64_C(0xffffffff00000001));
@@ -987,37 +987,37 @@ static void fiat_p256_from_montgomery(uint64_t out1[4], const uint64_t arg1[4])
   fiat_p256_mulx_u64(&x50, &x51, x40, UINT64_C(0xffffffffffffffff));
   uint64_t x52;
   fiat_p256_uint1 x53;
-  fiat_p256_addcarryx_u64(&x52, &x53, 0x0, x48, x51);
+  fiat_p256_addcarryx_u64(&x52, &x53, 0x0, x51, x48);
   uint64_t x54;
   fiat_p256_uint1 x55;
-  fiat_p256_addcarryx_u64(&x54, &x55, 0x0, x50, x40);
+  fiat_p256_addcarryx_u64(&x54, &x55, 0x0, x40, x50);
   uint64_t x56;
   fiat_p256_uint1 x57;
-  fiat_p256_addcarryx_u64(&x56, &x57, x55, x52, x42);
+  fiat_p256_addcarryx_u64(&x56, &x57, x55, x42, x52);
   uint64_t x58;
   fiat_p256_uint1 x59;
-  fiat_p256_addcarryx_u64(&x58, &x59, x53, 0x0, x49);
+  fiat_p256_addcarryx_u64(&x58, &x59, x53, x49, 0x0);
   uint64_t x60;
   fiat_p256_uint1 x61;
-  fiat_p256_addcarryx_u64(&x60, &x61, x57, x58, x44);
+  fiat_p256_addcarryx_u64(&x60, &x61, x57, x44, x58);
   uint64_t x62;
   fiat_p256_uint1 x63;
-  fiat_p256_addcarryx_u64(&x62, &x63, x39, x17, 0x0);
+  fiat_p256_addcarryx_u64(&x62, &x63, x39, 0x0, x17);
   uint64_t x64;
   fiat_p256_uint1 x65;
-  fiat_p256_addcarryx_u64(&x64, &x65, x45, 0x0, x62);
+  fiat_p256_addcarryx_u64(&x64, &x65, x45, x62, 0x0);
   uint64_t x66;
   fiat_p256_uint1 x67;
-  fiat_p256_addcarryx_u64(&x66, &x67, x61, x46, x64);
+  fiat_p256_addcarryx_u64(&x66, &x67, x61, x64, x46);
   uint64_t x68;
   fiat_p256_uint1 x69;
-  fiat_p256_addcarryx_u64(&x68, &x69, 0x0, (arg1[3]), x56);
+  fiat_p256_addcarryx_u64(&x68, &x69, 0x0, x56, (arg1[3]));
   uint64_t x70;
   fiat_p256_uint1 x71;
-  fiat_p256_addcarryx_u64(&x70, &x71, x69, 0x0, x60);
+  fiat_p256_addcarryx_u64(&x70, &x71, x69, x60, 0x0);
   uint64_t x72;
   fiat_p256_uint1 x73;
-  fiat_p256_addcarryx_u64(&x72, &x73, x71, 0x0, x66);
+  fiat_p256_addcarryx_u64(&x72, &x73, x71, x66, 0x0);
   uint64_t x74;
   uint64_t x75;
   fiat_p256_mulx_u64(&x74, &x75, x68, UINT64_C(0xffffffff00000001));
@@ -1029,31 +1029,31 @@ static void fiat_p256_from_montgomery(uint64_t out1[4], const uint64_t arg1[4])
   fiat_p256_mulx_u64(&x78, &x79, x68, UINT64_C(0xffffffffffffffff));
   uint64_t x80;
   fiat_p256_uint1 x81;
-  fiat_p256_addcarryx_u64(&x80, &x81, 0x0, x76, x79);
+  fiat_p256_addcarryx_u64(&x80, &x81, 0x0, x79, x76);
   uint64_t x82;
   fiat_p256_uint1 x83;
-  fiat_p256_addcarryx_u64(&x82, &x83, 0x0, x78, x68);
+  fiat_p256_addcarryx_u64(&x82, &x83, 0x0, x68, x78);
   uint64_t x84;
   fiat_p256_uint1 x85;
-  fiat_p256_addcarryx_u64(&x84, &x85, x83, x80, x70);
+  fiat_p256_addcarryx_u64(&x84, &x85, x83, x70, x80);
   uint64_t x86;
   fiat_p256_uint1 x87;
-  fiat_p256_addcarryx_u64(&x86, &x87, x81, 0x0, x77);
+  fiat_p256_addcarryx_u64(&x86, &x87, x81, x77, 0x0);
   uint64_t x88;
   fiat_p256_uint1 x89;
-  fiat_p256_addcarryx_u64(&x88, &x89, x85, x86, x72);
+  fiat_p256_addcarryx_u64(&x88, &x89, x85, x72, x86);
   uint64_t x90;
   fiat_p256_uint1 x91;
-  fiat_p256_addcarryx_u64(&x90, &x91, x67, x47, 0x0);
+  fiat_p256_addcarryx_u64(&x90, &x91, x67, 0x0, x47);
   uint64_t x92;
   fiat_p256_uint1 x93;
-  fiat_p256_addcarryx_u64(&x92, &x93, x73, 0x0, x90);
+  fiat_p256_addcarryx_u64(&x92, &x93, x73, x90, 0x0);
   uint64_t x94;
   fiat_p256_uint1 x95;
-  fiat_p256_addcarryx_u64(&x94, &x95, x89, x74, x92);
+  fiat_p256_addcarryx_u64(&x94, &x95, x89, x92, x74);
   uint64_t x96;
   fiat_p256_uint1 x97;
-  fiat_p256_addcarryx_u64(&x96, &x97, x95, x75, 0x0);
+  fiat_p256_addcarryx_u64(&x96, &x97, x95, 0x0, x75);
   uint64_t x98;
   fiat_p256_uint1 x99;
   fiat_p256_subborrowx_u64(&x98, &x99, 0x0, x84, UINT64_C(0xffffffffffffffff));