dib0090_wbd_to_db
wbd += dib0090_wbd_to_db(state, wbd_val);
state->wbd_target = dib0090_wbd_to_db(state, state->wbd_offset + wbd_tcold);
state->wbd_target = dib0090_wbd_to_db(state, state->wbd_offset + offset);