// Returns 1 if the game should quit.
int pause(void);