extern void cktemd1(void); /* machine-dependent memory testing */
extern void cktemd(void);  /* machine-dependent testing */