A hash-map that behaves deterministically when the enhanced-determinism feature is enabled.
enhanced-determinism