STORABLE BALL::PreciseTime  time_ 
  BALL::Size secs_ = 12345678 
  BALL::Size usecs_ = 456789 
END_STORABLE
