Constant TEXTURE_CUBE_MAP_POSITIVE_Y 

pub const TEXTURE_CUBE_MAP_POSITIVE_Y: c_uint = 0x8517;