/* Timer up-counter */