#ifndef RS232DBG_H
#define RS232DBG_H

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

#endif