Miscellany

# Nested Switch Example
var.def x 5 y 20;
cond.switch $x (3)  { io.write "X looks like: 3";  }
               (5)
               {
                 cond.switch $y (10) { io.write "Y looks like: 10" }
                                (20) { io.write "Y looks like: 20" }
                 io.write "X looks like: 5";
               }
               (10) { io.write "X looks like: 10"; }