#include <threads.h>

unsigned const __THRD_ABI =  __thrd_abi;