public static void dumpAllDbRecords_old(LayerManager db)
{
RecordKey next_key = new RecordKey();
RecordKey fkey = null;
RecordData fdata = null;
while (db.getNextRecord(next_key, ref fkey, ref fdata) == GetStatus.PRESENT) {
next_key = fkey;
System.Console.WriteLine(" found: {0} -> {1}", fkey.ToString(), fdata.ToString());
}
}