(* main.sig *) (* main processing *) signature MAIN = sig val doit : unit -> OS.Process.status end;