added abstract clock declarations