#pragma once
#include <stdint.h>

uint64_t timer_ticks(void);