void	restregs(void);
void	saveregs(void);