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