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