Use doctest