$21.$ Using the virtual machine instructions given in Section $3\mathrm{.}5\mathrm{.}1\mathrm{.}1,$ give an operational semantic definition of the following:

a$.$ Java do$-$while

b$.$ Ada for

c$.$ C$++$ if$-$then$-$else d$.$ C for

e$.$ C switch