Constant OPERATOR_SATURATE 

pub const OPERATOR_SATURATE: i32 = 13;