<html>
<import src="../resources/dump-as-text.sky" />
<import src="/gen/mojo/public/sky/codec.sky" as="codec" />
<div id="result">FAIL</div>
<script>
document.getElementById("result").textContent =
    codec.MessageBuilder ? "PASS" : "FAIL: codec.MessageBuilder is missing";
</script>
</html>