#include #include "device.h" uint8_t device_pixels[DEVICE_H][DEVICE_W]; uint32_t device_palette[256]; bool device_buttons[DEVICE_BUTTON_N];