HATHZ
hatCount = timer_hz_to_count(HATHZ);
printf("HAT test on @ %d Hz = %d ticks\n", HATHZ, hatCount);