"""Hello world"""/"" array.print_utf8