MapFromIntegerToString

import church.util.Entry;
import church.util.HashMap;

main(String[]: args) = {
    a = {1 −> "hello", 3 −> "world"};
    output << "a = " << a << "\n";

    e1 = a.get(1);
    output << "a.get(1) = " << e1 << "\n";

    e2 = a[1];
    output << "a[1] = " << e2 << "\n";

    assert a[1] == "hello";
}