src/timer/amigaos