/*->h.vxmenu */


extern int  vxbmenu;

extern void popvxbmain(void);

extern void decodevxbmain(int m1,int m2,int m3);

extern void setpopvxterm(void);
extern void decodevxterm(int m1,int m2,int m3,int m4);

extern void setpopcet(void);
extern void decodecet(int m2,int m3,int m4);
extern int  cetsetup(void);
extern void cetkey(int * key);
extern void ceticon(void);

extern void vxprintkey(int * key);
extern void vxprinticon(void);
extern int  vxprintsetup(void);
extern void popvxprint(void);

extern void vxkeyicon(void);
extern int  setupvxkey(void);

extern void vxdisplayicon(void);
extern int  setupvxdisplay(void);

extern void vxmisckey(int * key);
extern void miscvxicon(void);
extern int  setupmiscvx(void);
