modifyrecord
modifyrecord(¤t_state, &rchain[i], rdepth);
modifyrecord(¤t_state, &rchain[i],
void modifyrecord(struct staterecord *, struct recordchain *, uint64_t);