Small user-space thread library for x86