var
  counter: Int := 0

program()
begin
  block outer
    while true do
      defer
        counter := counter + 10
      end;
      counter := counter + 1;
      break outer
    end
  end;
  assert(counter = 11)
return 0u8

end.