(i64 + 1) * i32
