caravel/docs/pdf/counter_timer_function.pdf