format and devirtualization