ibd_dec_ref_ace
ibd_dec_ref_ace(state, ace);
ibd_dec_ref_ace(state, ace);
ibd_dec_ref_ace(state, ace);
ibd_dec_ref_ace(state, ace);
ibd_dec_ref_ace(state, ace);
ibd_dec_ref_ace(state, ace);
void ibd_dec_ref_ace(ibd_state_t *, ibd_ace_t *);