{ Original file is /usr/include/gtkglext-1.0/gdk/gdkgldefs.h } { No need to translate anything here }