class Time.MonotonicClock : System.Time.Clock, System.Time.TimerFactory;
class Time.HWTimer : System.Time.Timer;