pub const FF_LAMBDA_SCALE: c_int = 128;