Add a doctest for main()