$ include "seed7_05.s7i";

const type: aHashType is hash [string] string;

const proc: main is func
  local
    var aHashType: aHash is aHashType.value;
    var string: aValue is "";
    var string: aKey is "";
  begin
    aHash @:= ["gold"] "metal";
    aHash @:= ["helium"] "noble gas";
    for aValue key aKey range aHash do
      writeln(aKey <& ": " <& aValue);
    end for;a
  end func;