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