Simple light-weight user-level threads in C