I agree. If you want user-level threading, just use a stack swapping library like libpth.