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