let retype_base_pointer file = let visitor = new retypeBasePointer in visit_and_update_globals (visitor :> frama_c_visitor) file