../../BasiliskII/src/timer.cpp