81
procedure Change_Address
  (SSN  : in SSN_Type;
   Home : in Address_Type) is
   C : Cursor := Employees.Find (Key => SSN); --?
   -- Find takes an Employee_Type, not an
   -- SSN_Type, so the code above won't compile.
begin
   ...
end Op;