type(i32 == 1)
