begin
  var l: byte;
  l := 1;
  match l with
    1: Assert(l=1);
  end;
end.