let add_identifier: (string -> unit) ref = 
  ref (fun _ -> Kernel.fatal "Uninitialized add_identifier")