See getitimer.html