let fresh_playground_or_fail host = begin match Ketrew_host_io.get_fresh_playground host with | None -> fail_fatal (fmt "Host %s: Missing playground" (Ketrew_host.to_string_hum host)) | Some playground -> return playground end