> Or size_t and ptrdiff_t could be made to be built-in types. (?) There's no justification for that. A proper way to define a strong typedef on the other hand is something that is really needed.