__db_ovref_args
__db_ovref_args *argp;
__db_ovref_args **argpp;
__db_ovref_args *argp;
ret = __os_malloc(sizeof(__db_ovref_args) +
__db_ovref_args *argp;
int __db_ovref_read __P((void *, __db_ovref_args **));