source: buchla-68k/include/timers.h