timer-generic.cpp revision 31c721c11fd84ae16ea50a404dab9455ca3e48fd