// For measurement of GPU time used.
std::list<GLuint> timer_query_objects_running;
std::list<GLuint> timer_query_objects_free;
// For measurement of GPU time used.
std::list<GLuint> timer_query_objects_running;
std::list<GLuint> timer_query_objects_free;