typedef unsigned long int                                             clockid_t;

/*
POSIX(199309)
*/