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