let get_exit n =
    match get_kind n with
      Exit ex -> ex
    | _ -> failwith "Non-Exit in get_entry"