# 5 red, 5 green, 5 blue, 1 alpha bits format
fun gl_RGB5_A1: GLRenderbufferFormat `{ return GL_RGB5_A1; `}