#include "syscalls.h"

#ifdef __NR_time
syscall(time,time)
#endif