Small, portable implementation of the C11 threads API