let killable = function
    | #killable_state -> true
    | _ -> false