fn read_clock_counter() -> u64