void init_display(int w, int h, int *fvw, int *fvh, bool fullscreen); void resize_display(int w, int h, bool fullscreen);