Constant INTERNALFORMAT_STENCIL_TYPE 

pub const INTERNALFORMAT_STENCIL_TYPE: u32 = 0x827D;