Use the size_type