And while the segfault/invalid read might be a bug in gdbm (in that case I think this bug should be cloned to libgdbm package too) or not, I think that OCaml should either: - document in Dbm's manual that a corrupt database might crash/kill the entire ML program, without any way of catching this as an exception - validate the database on open, so that such crashes don't occur Best regards, --Edwin