GENERIC
  TYPE Result_Subtype IS (<>); -- any integer or enumeration range
PACKAGE Ada.Numerics.Discrete_Random IS
 
  -- Basic facilities of Ada 95 standard random number package
 
  TYPE Generator IS LIMITED PRIVATE;
 
  FUNCTION Random (Gen : Generator) RETURN Result_Subtype;
 
  PROCEDURE Reset (Gen  : IN Generator); -- reset from computer clock
 
PRIVATE
 
  ... -- as in Ada.Calendar.Time, we do not know the form of this
 
END Ada.Numerics.Discrete_Random;