Using the virtual machine instruction set below, write an operational semantic definition of the C do-while loop:

x = 0;

do { } while (x++ < 1014);

Virtual Machine Instruction Set:

ident = var ident = ident + 1 ident = ident 1 goto label if var relop var goto label