Constant SEEN_POINTERS 

const SEEN_POINTERS: LocalKey<LazyCell<RefCell<HashSet<*const c_void>>>>;