fp@0: 
fp@0: #ifndef RS232DBG_H
fp@0: #define RS232DBG_H
fp@0: 
fp@0: void SDBG_print(const char *format, ...);
fp@0: 
fp@0: #endif