void glTexBuffer( int target, int internalformat, int buffer, ) { return _glTexBuffer( target, internalformat, buffer, ); }