poprecord
poprecord(¤t_state, rchain->udesc.B2.ecount);
poprecord(¤t_state, rchain->udesc.B3.ecount);
void poprecord(struct staterecord *, int);