Additional variables in main()