[FOLD] abstract_clock