Constant FF_LAMBDA_MAX

pub const FF_LAMBDA_MAX: u32 = 32767; // 32_767u32