begin
  var l: ^integer;
  match l with
    nil: Assert(l=nil)
  end;
end.