introduce intmap_lookup()