let d_create a =
  match d_interp a with
    | Sym.Create, [a] -> a
    | _ -> raise Not_found