1 

     2 #ifndef RS232DBG_H

     3 #define RS232DBG_H

     4 

     5 void SDBG_print(const char *format, ...);

     6 

     7 #endif