invalid character in string '\u{0}' --> tests/ui/parse-fail/string-nul-byte.witx:3:2 | 3 | "" | ^