begin
  integer i
  switch lab('a':'d')
  i = 'b'
  ->lab(i)
lab('a'):
lab('c'):
lab('d'): stop
endofprogram