{
function slug_str(value) {
return value.toLowerCase().replace(/\W/g, "-")
}
function update_header(text) {
viewof view.firstChild.textContent = text;
}
const title = Stream_v2('Initial title');
const slug = title.map(slug_str);
slug.map(update_header);
viewof view.lastElementChild.addEventListener('input', e => title(e.target.value));
}