/*
        Header file for fdesvirt.c
*/
int vscreen_open(void);
void vscreen_close(void);
void vputpixel(int x, int y);
extern char huge *vscreen;
int vgetpixel(int x, int y);     /* returns nonzero if pixel lit */
void vscreen_clear(void);       /* clear virtual screen */
void vscreen_right(int right);
void vscreen_down(int down);
#define VWIDTH 1504             /* virtual screen dimensions */
#define VHEIGHT 1200            /* virtual screen dimensions */
extern long virt_target_size;