No need to use explicit returns in main()