4 /* n = 10 (from "10") */
26 typedef struct fe { uint32_t v[10]; } fe;
30 typedef struct fe_loose { uint32_t v[10]; } fe_loose;
190 static void fiat_25519_carry_mul(uint32_t out1[10], const uint32_t arg1[10], const uint32_t arg2[10…  in fiat_25519_carry_mul()  argument
356 static void fiat_25519_carry_square(uint32_t out1[10], const uint32_t arg1[10]) {  in fiat_25519_carry_square()  argument
495 static void fiat_25519_carry(uint32_t out1[10], const uint32_t arg1[10]) {  in fiat_25519_carry()  argument
537 static void fiat_25519_add(uint32_t out1[10], const uint32_t arg1[10], const uint32_t arg2[10]) {  in fiat_25519_add()  argument
567 static void fiat_25519_sub(uint32_t out1[10], const uint32_t arg1[10], const uint32_t arg2[10]) {  in fiat_25519_sub()  argument
596 static void fiat_25519_opp(uint32_t out1[10], const uint32_t arg1[10]) {  in fiat_25519_opp()  argument
625 static void fiat_25519_to_bytes(uint8_t out1[32], const uint32_t arg1[10]) {  in fiat_25519_to_bytes()  argument
775   out1[10] = x74;  in fiat_25519_to_bytes()
805 static void fiat_25519_from_bytes(uint32_t out1[10], const uint8_t arg1[32]) {  in fiat_25519_from_bytes()  argument
807   uint32_t x2 = ((uint32_t)(arg1[30]) << 10);  in fiat_25519_from_bytes()
823   uint32_t x18 = ((uint32_t)(arg1[14]) << 10);  in fiat_25519_from_bytes()
827   uint32_t x22 = ((uint32_t)(arg1[10]) << 3);  in fiat_25519_from_bytes()