Most users will want to use the "System.Console.CmdArgs.Implicit" module, whose documentation contains an example.