[FOLD] discrete_clock