1 #ifndef __HELPERS
 2 
 3 
 4 static __attribute__((noinline)) void print_byte(uint8_t b)
 5 {
 6     printf("%02x", b);
 7 }
 8 
 9 static __attribute__((noinline)) void printf1(char *f)
10 {
11     printf(f);
12 }
13 
14 
15 
16 #endif /* #ifndef __HELPERS */
17