#ifndef TIME_H
#define TIME_H

#include <stdint.h>

uint64_t time_us(void);

#endif