__txn_ckp_args
__txn_ckp_args *ckp_args;
int __txn_ckp_read __P((void *, __txn_ckp_args **));
__txn_ckp_args *ckp_args;
__txn_ckp_args *argp;
__txn_ckp_args **argpp;
__txn_ckp_args *argp;
ret = __os_malloc(sizeof(__txn_ckp_args) +
__txn_ckp_args *argp;