size_type coverage