<html>
  <head>
    <script src="harness.js"></script>
    <script>
      var a = document.createElement("div");
      a.appendChild(document.createElement("pre")).appendChild(new Text(""));
      var b = document.createElement("div");
      b.appendChild(a);
      is(b.innerHTML, "<div><pre></pre></div>");
    </script>
  </head>
</html>