glesv2 :: glesv2 $ Sys :: gl_TEXTURE3

fun gl_TEXTURE3: GLTextureUnit `{ return GL_TEXTURE3; `}