Updating: properly handling various kinds of '__free'.