sig val get_extension : string -> string end