7446     uint32_t x676;  in fiat_secp384r1_mul()  local
8788     fiat_secp384r1_mulx_u32(&x675, &x676, x5, (arg2[9]));  in fiat_secp384r1_mul()
8807     fiat_secp384r1_addcarryx_u32(&x713, &x714, x712, x676, x673);  in fiat_secp384r1_mul()
10016     uint32_t x676;  in fiat_secp384r1_square()  local
11358     fiat_secp384r1_mulx_u32(&x675, &x676, x5, (arg1[9]));  in fiat_secp384r1_square()
11377     fiat_secp384r1_addcarryx_u32(&x713, &x714, x712, x676, x673);  in fiat_secp384r1_square()
12932     uint32_t x676;  in fiat_secp384r1_from_montgomery()  local
13602     fiat_secp384r1_addcarryx_u32(&x676, &x677, x675, x649, x646);  in fiat_secp384r1_from_montgomery()
13614     fiat_secp384r1_addcarryx_u32(&x700, &x701, x699, x640, x676);  in fiat_secp384r1_from_montgomery()
14491     fiat_secp384r1_uint1 x676;  in fiat_secp384r1_to_montgomery()  local
15356     fiat_secp384r1_addcarryx_u32(&x675, &x676, x674, x641, x663);  in fiat_secp384r1_to_montgomery()
15357     fiat_secp384r1_addcarryx_u32(&x677, &x678, x676, x643,  in fiat_secp384r1_to_montgomery()