DB_db_debug
rectype = DB_db_debug;
__db_debug_print, DB_db_debug)) != 0)
__db_debug_recover, DB_db_debug)) != 0)