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