Constant Py_TPFLAGS_HAVE_FINALIZE 

pub const Py_TPFLAGS_HAVE_FINALIZE: u64 = 1 /* 1u64 */;