#devirtualization

[ follow ]
Empty.