type(i64 ^ 1)
