!7 p-exp { print(fromUTF8(charsToSingleBytes(String.valueOf(new char[] {0x00c3, 0x00bc})))); // u umlaut print(fromUTF8(charsToSingleBytes(String.valueOf(new char[] {0xfffd, 0x0078})))); // eszett }