Constant SYZ_P_CLOSENESS_BOOST 

pub const SYZ_P_CLOSENESS_BOOST: SYZ_PROPERTIES = 9;