method test()
    requires RepInv();
    {
       var d:DICT := new DICT(16);
       d.assoc(1,0);
    }