os.c: timer