typedef unsigned long int                                               timer_t;

/*
POSIX(199309)
*/