a map optimized for integer keys