expanded class interface CLOCK
   --
   -- Time and date facilities: year, month, day, hour and seconds.
   --

feature(s) from CLOCK   value: INTEGER
      -- Get the CPU clock periods if available (-1 if not).


   periods_per_second: INTEGER
      --  The number of clock periods per seconds.

      require
         value >= 0



end of expanded CLOCK