i32 * 1 % i64
