typedef int (*thrd_start_t)(void *);

/*
STDC(201112)
*/