Preemptible green threads in C for Linux