Simplify main()