timer-generic.cpp revision c98fb3e16fcd571a790eab772c0c66173d225205