pub const fn fiat_p521_carry_square(arg1: &[u64; 9]) -> [u64; 9]
The function fiat_p521_carry_square squares a field element and reduces the result.
Postconditions: eval out1 mod m = (eval arg1 * eval arg1) mod m