void dumpDatabase(const DatabaseHandle db, string filename)
Dumps the database to a file (shim placeholder).