of the translation to CIL, we generate
new labels as needed. 
</li><li class="li-enumerate">Labels as values and computed goto. This allows a program to take the
address of a label and to manipulate it as any value and also to perform a
computed goto. We compile this by assigning each label whose address is taken
a small integer that acts as its address. Every computed <span style="font-family:monospace">goto</span> in the body
of the function is replaced with a <span style="font-family:monospace">switch</s