__db_debug_read
if ((ret = __db_debug_read(dbtp->data, &argp)) != 0)
REC_NOOP_INTRO(__db_debug_read);
int __db_debug_read __P((void *, __db_debug_args **));