TEXTURE13 = RenderingContext.TEXTURE13

Source

const int TEXTURE13 = RenderingContext.TEXTURE13