let finished = function `Finished _ -> true | _ -> false