begin
  var s{@var s: HashSet<integer>;@} := HSet(Arr(2,4,5));
end.