fun glDeleteRenderbuffers `{ glDeleteRenderbuffers(GLsizei n, const GLuint *renderbuffers); `}