fn feToMont(x: i16) i16
fn feToMont(x: i16) i16 { // Note |1353 x| ≤ 1353 2¹⁵ ≤ 13318 q ≤ 2¹⁵ q and so we're within // the bounds of montReduce. return montReduce(@as(i32, x) * r2_mod_q); }