extern int window_width;
extern int window_height;
-extern bool reshape_window;
extern unsigned frame;
extern long long startTime;
extern unsigned dump_state;
void
-checkGlError(void);
+checkGlError(int callIdx = -1);
void state_dump(std::ostream &os);