pub const FF_DEBUG_BUGS: c_int = 4096;