sig val add_extension_if_absent : string -> string -> string end