Constant MAX_JWE_HEADER_LENGTH 

pub const MAX_JWE_HEADER_LENGTH: usize = 8192;