type
  tset1 = set of 0..7;
  tset2 = set of 0..15;

procedure p(s : tset1);overload;
  begin
  end;


procedure p(s : tset2);overload;
  begin
  end;

begin
end.