pub const FF_LAMBDA_SHIFT: c_int = 7;