async function *renderNotebook(nb) {
const placeholder = DOM.element('div');
placeholder.style.border="1px solid darkGray"
placeholder.style.padding="4px";
yield placeholder;
const library = new runtimeMod.Library();
const runtime = new runtimeMod.Runtime(library);
const nbCompiled = await compilerMod.compile(nb);
nbCompiled(runtime, name => {
const div = DOM.element('div');
placeholder.appendChild(div);
return new runtimeMod.Inspector(div);
});
}