typedef unsigned long long int                                             id_t;

/*
XOPEN(400)
POSIX(200809)
*/