#ifndef _TIME_H
#define _TIME_H

#include <stdint.h>

#ifndef _TIME_T
#define _TIME_T
typedef int32_t time_t;
#endif

time_t time(void);

void sleep(time_t);

#endif