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