ts_end.tv_sec = (time_t) floor(end);
ts_end.tv_nsec = (long) ( ( end - ts_end.tv_sec) * 1000000000);
DEBUG2("sem_timedwait(%p,%p)",&(sem->s),&ts_end);
ts_end.tv_sec = (time_t) floor(end);
ts_end.tv_nsec = (long) ( ( end - ts_end.tv_sec) * 1000000000);
DEBUG2("sem_timedwait(%p,%p)",&(sem->s),&ts_end);