glesv2 :: glesv2 $ Sys :: gl_TEXTURE15

fun gl_TEXTURE15: GLTextureUnit `{ return GL_TEXTURE15; `}