__db_debug_print
__db_debug_print, DB_db_debug)) != 0)
REC_PRINT(__db_debug_print);
int __db_debug_print