System.Console.CmdArgs.GetOpt
data ArgOrder a
data OptDescr a
data ArgDescr a