A user-space threading library in C