__txn_ckp_read
} else if ((ret = __txn_ckp_read(data.data, &ckp_args)) != 0) {
int __txn_ckp_read __P((void *, __txn_ckp_args **));
if ((ret = __txn_ckp_read(data.data, &ckp_args)) != 0) {
if ((ret = __txn_ckp_read(dbtp->data, &argp)) != 0)
if ((ret = __txn_ckp_read(dbtp->data, &argp)) != 0)