doctest simple example