type(i64 == i32)
