let mk_create a =
  Term.App.mk_app Sym.Array.mk_create [a]