i * i64 % i32
