A demonstration of doctests