Fixing redecleration of main()