begin
  integer i
  i = 2
backlab:
  i = 4
    -> backlab if i = 3
endofprogram