Daniel Gibson wrote: > Probably it would be helpful if size_t was a proper type that can't > be mixed with other types in dangerous ways without explicit casting. Bad idea: once you insert an explicit cast, you now have a *hidden* bug on the new platform instead of a compile error.