timer.h revision 6e29a04d3685e696625920fdeefb0df63ae22276
1