let d_external = function
  | External(x, c) -> (x, c)
  | _ -> raise Not_found