void pause(void);