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