extern int readViewman(void *  , int );
extern void scalePoint(viewTriple * );
extern int spadAction(void);