i32 * i32 % i32
