let get t =
  match t.data with
    [] -> assert false
  | x :: _ -> x