/* lib_ws2812.c */
void ws2812_setleds(struct RGB *ledarray, uint16_t leds);
void ws2812_setleds_pin(struct RGB *ledarray, uint16_t leds, uint8_t pinmask);
void ws2812_sendarray(uint8_t *data, uint16_t datlen);
void ws2812_sendarray_mask(uint8_t *data, uint16_t datlen, uint8_t maskhi);
/* clock.c */
int get_int(char *buf);
int main(void);
/* util.c */
void setup_clocks(void);
/* stdio.c */
void stdio_init(void);
/* usb_serial.c */
void usb_init(void);
uint8_t usb_configured(void);
int16_t usb_serial_getchar(void);
uint8_t usb_serial_available(void);
void usb_serial_flush_input(void);
int8_t usb_serial_putchar(uint8_t c);
int8_t usb_serial_putchar_nowait(uint8_t c);
int8_t usb_serial_write(const uint8_t *buffer, uint16_t size);
void usb_serial_flush_output(void);
uint32_t usb_serial_get_baud(void);
uint8_t usb_serial_get_stopbits(void);
uint8_t usb_serial_get_paritytype(void);
uint8_t usb_serial_get_numbits(void);
uint8_t usb_serial_get_control(void);
int8_t usb_serial_set_control(uint8_t signals);
void __vector_10(void);
void __vector_11(void);