{ "-s", glkunix_arg_NumberValue, "-s: random number seed value" },
{ "-S", glkunix_arg_NumberValue, "-S: transcript width" },
{ "-u", glkunix_arg_NumberValue, "-u: slots for multiple undo" },
{ "-s", glkunix_arg_NumberValue, "-s: random number seed value" },
{ "-S", glkunix_arg_NumberValue, "-S: transcript width" },
{ "-u", glkunix_arg_NumberValue, "-u: slots for multiple undo" },