timer.h: Include stdint.h.