Use abstract_clock