[VM] vm-set-labels question

[Julian Bradfield]

I don't understand this code. Where is it that it sets the labels on
the real message and the virtual messages of the message?