Clarifies the meanings of the arguments to main().