t(function() {
        svgElem.setAttribute("height", "60");
        expect_svg_width_and_height(80, 60);
    }, "adding specified height, in presence of specified viewBox");
    test(function() {
        svgElem.setAttribute("viewBox", "0 0 100 120");
        expect_svg_width_and_height(50, 60);
    }, "modifiying specified viewBox, in presence of specified height");
  </script>
</body>
