The text 80aa2738dde0, as Debian 7 (Wheezy) shipped it.
yield the processor
sched_yield(2) on Linux now
