Migrated "0store add" to OCaml