#ifndef _double_time_h #define _double_time_h #include double double_time(void); void double_sleep(double sec); int double_select(int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds, double expire); #endif /* _double_time_h */