asserts/checks closed in separate functions: check_capacity() check_empty() check_iterator_end_eq() check_iterator_end_neq()