type(-i32)
