void ReadMem(int addr);\r
void __attribute__((noreturn)) AppMain(void);\r
void SamyRun(void);\r
-void DbpIntegers(int a, int b, int c);\r
+//void DbpIntegers(int a, int b, int c);\r
void DbpString(char *str);\r
+void Dbprintf(const char *fmt, ...);\r
+\r
void ToSendStuffBit(int b);\r
void ToSendReset(void);\r
void ListenReaderField(int limit);\r