<!DOCTYPE html>
<div>
<body
<pre>
<script src="include.js"></script>
<script>
test(() => {
println(`Body element has '<pre' attribute: ${document.body.hasAttribute('<pre')}`);
});
</script>