/*->h.vtasm */

extern void initscr(void);
extern void tflashflash(int phase);
extern void line00S(int * data,char * dest,int n,int bwidth);
extern void line18S(int * data,char * dest,int n,int bwidth);
extern void line00D(int * data,char * dest,int n,int bwidth);
extern void line18D(int * data,char * dest,int n,int bwidth);
extern void line00DT(int * data,char * dest,int n,int bwidth);
extern void line00DB(int * data,char * dest,int n,int bwidth);
extern void line18DT(int * data,char * dest,int n,int bwidth);
extern void line18DB(int * data,char * dest,int n,int bwidth);

extern void line15S(int * data,char * dest,int n,int bwidth);
extern void line23S(int * data,char * dest,int n,int bwidth);
extern void line15D(int * data,char * dest,int n,int bwidth);
extern void line23D(int * data,char * dest,int n,int bwidth);
extern void line15DT(int * data,char * dest,int n,int bwidth);
extern void line15DB(int * data,char * dest,int n,int bwidth);
extern void line23DT(int * data,char * dest,int n,int bwidth);
extern void line23DB(int * data,char * dest,int n,int bwidth);


extern void line169090S(int * data,char * dest,int n,int bwidth);
extern void line169090D(int * data,char * dest,int n,int bwidth);
extern void line169090DT(int * data,char * dest,int n,int bwidth);
extern void line169090DB(int * data,char * dest,int n,int bwidth);


extern void line329090S(int * data,char * dest,int n,int bwidth);
extern void line329090D(int * data,char * dest,int n,int bwidth);
extern void line329090DT(int * data,char * dest,int n,int bwidth);
extern void line329090DB(int * data,char * dest,int n,int bwidth);


extern void line169045S(int * data,char * dest,int n,int bwidth);
extern void line169045D(int * data,char * dest,int n,int bwidth);
extern void line169045DT(int * data,char * dest,int n,int bwidth);
extern void line169045DB(int * data,char * dest,int n,int bwidth);


extern void line329045S(int * data,char * dest,int n,int bwidth);
extern void line329045D(int * data,char * dest,int n,int bwidth);
extern void line329045DT(int * data,char * dest,int n,int bwidth);
extern void line329045DB(int * data,char * dest,int n,int bwidth);




