atr_t0_wi
(void) printf(" + WI: %u\n", atr_t0_wi(data));
extern uint8_t atr_t0_wi(atr_data_t *);
wi = atr_t0_wi(data);