type(i32 .. 1)
