atr_protocol_to_string
(void) printf("%s\n", atr_protocol_to_string(prots));
"default %s parameters\n", atr_protocol_to_string(defprot));
atr_protocol_to_string(defprot));
extern const char *atr_protocol_to_string(atr_protocol_t);