System.Console.CmdArgs.Text
data TextFormat
data Text