typedef /* same as pthread_once_t */ once_flag;

/*
STDC(201112)
*/