TIME_ASSERT_VALID_HZ
TIME_ASSERT_VALID_HZ(HZ_MAXIMUM);
TIME_ASSERT_VALID_HZ(HZ_MINIMUM);
TIME_ASSERT_VALID_HZ(1024);
TIME_ASSERT_VALID_HZ(1000);
TIME_ASSERT_VALID_HZ(128);
TIME_ASSERT_VALID_HZ(100);