Return in main()