+ { "full-env", 0, NULL, 'e' },
+ { "env", 1, NULL, 'E' },
+ { "stdin", 1, NULL, 'i' },
+ { "stack", 1, NULL, 'k' },
+ { "mem", 1, NULL, 'm' },
+ { "meta", 1, NULL, 'M' },
+ { "stdout", 1, NULL, 'o' },
+ { "stderr", 1, NULL, 'r' },
+ { "time", 1, NULL, 't' },
+ { "verbose", 0, NULL, 'v' },
+ { "wall-time", 1, NULL, 'w' },
+ { "extra-time", 1, NULL, 'x' },