caravel/docs/postscript/counter_timer_function.ps