es gibt einen solchen timer. er zählt im 36kHz-takt.