begin
  var l: List<integer>;
  match l with
    nil: Assert(l=nil)
  end;
end.