Constant FF_DEBUG_BUGS 

pub const FF_DEBUG_BUGS: c_int = 4096;