let pop_context: (unit -> unit) ref = 
  ref (fun _ -> Cilmsg.fatal "You called an uninitialized pop_context")