Migrated add_manifest_and_verify to OCaml