fun main () = return <xml>
  {["H\x65ll\157!"]}
</xml>