void flipbip_led_set_rgb(void* context, int red, int green, int blue); void flipbip_led_reset(void* context);