hp-timing.c
