devirtualized