Well, they're not actually extra types. They're just type aliases. Personally, I agree that they're not really necessary. I was just pointing out above that as long as we have them, they need to be named the same thing as the C type or they have no meaning.