pub const FF_LAMBDA_MAX: c_int = 32767;