pub fn with_global_allocation_map<F, R>(f: F) -> Rwhere F: FnOnce(&RefCell<HashMap<String, HashSet<u64>>>) -> R,