We dont actually need to explicitly include doctests in main, it happens automatically.