devirtualizing