let top t =
    match top_with_key t with
    | None -> None
    | Some (_, v) -> Some v