lib LibC
  fun sched_yield : Int
end