pub const GL_TEXTURE_RED_TYPE: u32 = 0x8C10;