crashtest-r0ket/firmware/usbcdc/util.h

int puts(const char * str);
void usbCDCInit(void);
void usbCDCOff(void);