type(i32 == i)
