#ifndef __ScreenState
#define __ScreenState
#include <stdint.h>
extern uint8_t getScreenInvalidated();
extern void setScreenInvalidated();
#endif