sig val analyze : int -> string -> string option -> unit end