pub const fn fiat_p521_relax(arg1: &[u64; 9]) -> [u64; 9]
The function fiat_p521_relax is the identity function converting from tight field elements to loose field elements.
Postconditions: out1 = arg1