Clarifies the meaning of the arguments to main()