C's Flexible Integer Sizes Were Not a Design Mistake