#ifndef __LIB__TIME_H__
#define __LIB__TIME_H__

#include <stdint.h>

uint64_t time(void);

#endif