The function divstepPrecomp returns the precomputed value for Bernstein-Yang-inversion (in montgomery form).
Postconditions: eval (from_montgomery out1) = ⌊(m - 1) / 2⌋^(if ⌊log2 m⌋ + 1 < 46 then ⌊(49 * (⌊log2 m⌋ + 1) + 80) / 17⌋ else ⌊(49 * (⌊log2 m⌋ + 1) + 57) / 17⌋) 0 ≤ eval out1 < m
Output Bounds: out1: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
pub fn divstepPrecomp(out1: *[4]u64) void
pub fn divstepPrecomp(out1: *[4]u64) void {
@setRuntimeSafety(mode == .debug);
out1[0] = 0xf201a41831525e0a;
out1[1] = 0x9953f9ddcd648d85;
out1[2] = 0xe86029463db210a9;
out1[3] = 0x24fb8a3104b03709;
}