80
Employees : Employee_Sets.Set;
procedure Add (SSN : in SSN_Type) is
   E : Employee_Type;
begin
   E.SSN := SSN;
   E.Name := ...;
   Employees.Insert (E);
end Op;