atr_t1_ifsc
(void) printf(" + IFSC: %u\n", atr_t1_ifsc(data));
extern uint8_t atr_t1_ifsc(atr_data_t *);
ifsc = atr_t1_ifsc(data);