extern void loadcard(void);
extern unsigned datacard(unsigned lb,unsigned ub);
extern void wmcard(unsigned lb,unsigned ub);
extern void flushcard(unsigned char op, unsigned branch);