timertest.c: formatting