label 1;
begin
  var c := 1;
  1:
  var (a,b) := (1,1);
  b := 1;
  Assert(b=1);
end.