type(i32 == i64)
