fun glDeleteFramebuffers `{ glDeleteFramebuffers(GLsizei n, const GLuint *framebuffers); `}