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