sig val get_flags : string -> string end