timer-generic.cpp revision cacc4e75dbbff469c10a505168208f064c6c385c