let
auto_yield _ = (
fun
()
->
())