let prerr_list (f : 'a -> string) (separator : string) (l : 'a list) : unit = prerr_string (list_to_string f separator l)