isb_data
d_1(uint8_t, t_dec(i,box), isb_data, h0);
d_1(uint32_t, t_dec(i,n), isb_data, v0);
d_4(uint32_t, t_dec(i,n), isb_data, v0, v1, v2, v3);
d_1(uint32_t, t_dec(i,l), isb_data, w0);
d_4(uint32_t, t_dec(i,l), isb_data, w0, w1, w2, w3);