Simplify sdb_flush ()