implementing a script that extracts information from gl.h