#include <sched.h>
    #include <unistd.h>

    int
    sched_yield (void);