void pause(void);
void pause_display(void);