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