doctest example