__db_ovref_read
if ((ret = __db_ovref_read(dbtp->data, &argp)) != 0)
REC_INTRO(__db_ovref_read);
int __db_ovref_read __P((void *, __db_ovref_args **));