#include <uvm/syscalls.h>
int font_width = 13;
int font_height = 27;
u32 font_data[94][351];
void
init_font_data(void)
{
2 + 2;
};