Core_map_intf.Key