let retype_address_taken file = let visitor = new retypeAddressTaken in visit_and_push_statements visit_and_update_globals visitor file