let killed = function `Killed _ -> true | _ -> false