devirtualizations