Constant INTERNALFORMAT_STENCIL_SIZE 

pub const INTERNALFORMAT_STENCIL_SIZE: u32 = 0x8276;