17 #if defined (POK_NEEDS_CONSOLE) || defined (POK_NEEDS_DEBUG) || defined (POK_NEEDS_INSTRUMENTATION) || defined (POK_NEEDS_COVERAGE_INFOS) 
   25 print_char_fn_t pok_print_char_fn = 
NULL;
 
   26 print_attr_fn_t pok_print_attr_fn = 
NULL;
 
   30 void pok_print_char (
const char c)
 
   32    if (pok_print_char_fn != 
NULL)
 
   34       return (pok_print_char_fn(c));
 
   38 void pok_print_attr (
uint8_t attr)
 
   40    if (pok_print_attr_fn != 
NULL)
 
   42       pok_print_attr_fn(attr);
 
   46 int pok_write (
const char *s, 
size_t length)
 
   50    for (i = 0; i < length; i++)
 
   52       pok_print_char (*s++);
 
   58 int pok_print_init (print_char_fn_t print_char_fn,
 
   59                     print_attr_fn_t print_attr_fn)
 
   61    pok_print_char_fn = print_char_fn;
 
   62    pok_print_attr_fn = print_attr_fn;