ElementA(document)
    .next(EventA("DOMContentLoaded"))
    .next(ConstA({ url:"toc/toc.xml" }))
    .next(HttpA())
    .join(ElementA("toc"))
    .next(function(req, toc) {
        toc.textContent = null;
        try {
            toc.appendChild(document.importNode(req.responseXML.documentElement, true));
        } catch (_) { /* IE compatibility */
            toc.innerHTML = req.responseXML.documentElement.xml;
        }
    }).run();