extern pid_t getpid(void);
extern int execv(const char *path, char *const argv[]);
+extern void usleep_watchdevice(unsigned long usecs);
+#define usleep(usecs) usleep_watchdevice((usecs))
+#define sleep(secs) usleep((secs)*1000000)
+
+
#endif /* UCCOMPAT */