Function montgomery_reduce 

pub fn montgomery_reduce(a: i32) -> i16

The reference Montgomery reduction (mirrors ntt::montgomery_reduce) — the oracle the emitted RTL is checked against.