Constant FF_LAMBDA_SHIFT

Source
pub const FF_LAMBDA_SHIFT: u32 = 7;