#include <time.h>
#include <unistd.h>

_syscall0(time_t, time);

void sleep(time_t t) {
  time_t start = time();

  while(time() < start + t);
}