label a;
var i: integer;
function f: integer;
begin
  i := 1;
end;
begin
  a: f();
  assert(i = 1);
end.