Constant FF_LAMBDA_MAX

Source
pub const FF_LAMBDA_MAX: u32 = 32767;