timer-generic.cpp revision 8c2194fa35a37e70b7d7023451818c12f1914d47