#include #include thrd_t thrd_current(void) { return __libc_thread_self(); }