doctest in separate file