core :: Sys :: gl_RENDERBUFFER_WIDTH
fun gl_RENDERBUFFER_WIDTH: Int `{ return GL_RENDERBUFFER_WIDTH; `}