EverCrypt_Error_MaximumLengthExceeded

Constant EverCrypt_Error_MaximumLengthExceeded 

Source
pub const EverCrypt_Error_MaximumLengthExceeded: u32 = 6;