type(i64 ^ i32)
