size_type is now public