for (ATermIterator i(ATreverse(values)); i; ++i) {

        int n = 0;
        for (ATermIterator i(ATreverse(values)); i; ++i, ++n) {

            argsUsed2.set(name, *i);

            argsUsed2.set(name, (ATerm) ATmakeList2(*i, (ATerm) ATmakeInt(n)));

        xmlAttrs2["value"] = showValue(i->value);

        xmlAttrs2["value"] = showValue(ATelementAt((ATermList) i->value, 0));
        xmlAttrs2["altnr"] = int2String(ATgetInt((ATermInt) ATelementAt((ATermList) i->value, 1)));