(* main.sig *) (* entry point *) signature MAIN = sig val main : string * string list -> OS.Process.status end;