+uint8_t iso14443b_apdu(uint8_t const *message, size_t message_length, uint8_t *response);
+uint8_t iso14443b_select_card(iso14b_card_select_t* card);
+uint8_t iso14443b_select_card_srx(iso14b_card_select_t* card);
+
+// testfunctions
+void WaitForFpgaDelayQueueIsEmpty( uint16_t delay );
+void ClearFpgaShiftingRegisters(void);
+
+// States for 14B SIM command
+#define SIM_NOFIELD 0
+#define SIM_IDLE 1
+#define SIM_HALTED 2
+#define SIM_SELECTING 3
+#define SIM_HALTING 4
+#define SIM_ACKNOWLEDGE 5
+#define SIM_WORK 6
+
+#ifdef __cplusplus
+}
+#endif