type(i32)
