sig val main : string list -> unit end