ok && i64 < i32
