#pragma once #include <stdint.h> void SetFrequency(uint64_t hertz);