7.2.1 doctest