#ifndef __DARKRL__TIMING_HPP__
#define __DARKRL__TIMING_HPP__

#include <stdint.h>

uint64_t GetTime();

#endif