657     uint64_t x408;  in fiat_secp384r1_mul()  local
937     fiat_secp384r1_addcarryx_u64(&x408, &x409, x407, x372, x395);  in fiat_secp384r1_mul()
957     fiat_secp384r1_addcarryx_u64(&x447, &x448, x446, x408, x434);  in fiat_secp384r1_mul()
1411     uint64_t x408;  in fiat_secp384r1_square()  local
1691     fiat_secp384r1_addcarryx_u64(&x408, &x409, x407, x372, x395);  in fiat_secp384r1_square()
1711     fiat_secp384r1_addcarryx_u64(&x447, &x448, x446, x408, x434);  in fiat_secp384r1_square()
2885     uint64_t x408;  in fiat_secp384r1_to_montgomery()  local
3107     fiat_secp384r1_cmovznz_u64(&x408, x404, x397, x385);  in fiat_secp384r1_to_montgomery()
3113     out1[3] = x408;  in fiat_secp384r1_to_montgomery()
7178     uint32_t x408;  in fiat_secp384r1_mul()  local
8651     fiat_secp384r1_mulx_u32(&x407, &x408, x3, (arg2[6]));  in fiat_secp384r1_mul()
8664     fiat_secp384r1_addcarryx_u32(&x433, &x434, x432, x408, x405);  in fiat_secp384r1_mul()
9748     uint32_t x408;  in fiat_secp384r1_square()  local
11221     fiat_secp384r1_mulx_u32(&x407, &x408, x3, (arg1[6]));  in fiat_secp384r1_square()
11234     fiat_secp384r1_addcarryx_u32(&x433, &x434, x432, x408, x405);  in fiat_secp384r1_square()
12664     uint32_t x408;  in fiat_secp384r1_from_montgomery()  local
13465     fiat_secp384r1_addcarryx_u32(&x408, &x409, x407, x401, x398);  in fiat_secp384r1_from_montgomery()
13477     fiat_secp384r1_addcarryx_u32(&x432, &x433, x431, x372, x408);  in fiat_secp384r1_from_montgomery()
14223     uint32_t x408;  in fiat_secp384r1_to_montgomery()  local
15214     fiat_secp384r1_mulx_u32(&x407, &x408, x381, UINT32_C(0xffffffff));  in fiat_secp384r1_to_montgomery()
15230     fiat_secp384r1_addcarryx_u32(&x439, &x440, x438, x408, x405);  in fiat_secp384r1_to_montgomery()