Added Timer::getNumInst()