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