#include <time.hfa>

static inline uint64_t bench_time() {
	struct timespec ts;
	clock_gettime( CLOCK_REALTIME, &ts );
	return 1000000000LL * ts.tv_sec + ts.tv_nsec;
} // bench_time