A simple version of pthreads that uses user-level context switching