type(1 - i32)
