#define PIX_gre 0x00FF00
#define PIX_red 0xFF0000
#define PIX_whi 0x111111

#define PIX_g 0x008000

void put_pixel(uint32_t pixel_grb);

    uint8_t red = (pixel_grb >> 8) & 0xFF;
    uint8_t green = (pixel_grb >> 16) & 0xFF;
    uint8_t blue = pixel_grb & 0xFF;


void halt_with_error(uint32_t err, uint32_t bits);

void gpio_disable_input_output(int pin);

void gpio_enable_input_output(int pin);

void finish_pins_except_leds();

void reset_cpu();