program()
var
  counter: Int := 0

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