public static void glGetCompressedTextureImage(
     int texture, int level, int pixels_bufSize, long pixels_buffer_offset) {
   GL45.glGetCompressedTextureImage(texture, level, pixels_bufSize, pixels_buffer_offset);
 }
 public static void glGetCompressedTextureImage(int texture, int level, ShortBuffer pixels) {
   GL45.glGetCompressedTextureImage(texture, level, pixels);
 }