1fun die s =
2  (TextIO.output(TextIO.stdErr, s ^ "\n");
3   OS.Process.exit OS.Process.failure)
4
5val args = CommandLine.arguments()
6
7fun dropUninteresting l =
8  case l of
9      "-q" :: rest => dropUninteresting rest
10    | "--use" :: file :: rest => dropUninteresting rest
11    | "-i" :: rest => dropUninteresting rest
12    | gc::rest => if String.isPrefix "--gcthreads" gc then
13                    dropUninteresting rest
14                  else l
15    | _ => l
16
17val realArgs = dropUninteresting args
18
19val (holstate, rest) =
20    case realArgs of
21        [] => die "No holstate argument provided"
22      | x::xs => (x,xs)
23
24val _ = PolyML.SaveState.loadState holstate
25
26val _ = List.app use rest
27