typedef unsigned short screen_buffer_t;
void ;
void ;
void ;
void ;
int ;
int ;
void ;
bool ;
void ;
void ;
void ;
void ;
void ;
void ;
// void cprintf(const char *s);
void ;
bool ;
int ;
void ;
void ;
int ;
int ;
void ;
void ;
int ;
int ;
int ;
int ;
int ;
void ;
void ;
void ;
void ;
void ;
bool ;
void ;
inline void