public static void glTextureBufferRange(
     int texture, int internalformat, int buffer, long offset, long size) {
   GL45.glTextureBufferRange(texture, internalformat, buffer, offset, size);
 }