/** Overloads glGetNamedFramebufferParameteriv. */
 public static int glGetNamedFramebufferParameter(int framebuffer, int pname) {
   return GL45.glGetNamedFramebufferParameter(framebuffer, pname);
 }
 public static void glGetNamedFramebufferParameter(int framebuffer, int pname, IntBuffer params) {
   GL45.glGetNamedFramebufferParameter(framebuffer, pname, params);
 }