devirtualizes