fiat_25519_value_barrier_u64
static __inline__ uint64_t fiat_25519_value_barrier_u64(uint64_t a) {
# define fiat_25519_value_barrier_u64(x) (x)