COMPILATION ERROR: executable_semantics/testdata/string_fail2.carbon:8: Invalid escaping in string: "str\x" EXIT CODE: 255