Various debugging utilities for OpenGL