given the intended usage pattern, intmap_copy is a better name than intmap_acquire