aseVal}`);
        println(`element.href.animVal -> ${element.href.animVal}`);
        println(`element.href.baseVal === element.href.animVal -> ${element.href.baseVal === element.href.animVal}`);
        println(`element.getAttribute("xlink:href") -> ${element.getAttribute("xlink:href")}`);
        println(`element.getAttribute("href") -> ${element.getAttribute("href")}`);
        println("animVal should be readonly:")
        try {
            element.href.animVal = "invalid";
        } catch (e) {
      