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