#ifndef __DARKRL__TIMING_HPP__
#define __DARKRL__TIMING_HPP__
#include <stdint.h>
uint64_t GetTime();
#endif