static void appendEscaped(vByteBuffer b, char c) {
public static void appendEscaped(vByteBuffer b, char c) {
static void appendEscaped(vByteBuffer b, char c) {    if (c >= ' ' && c <= '~') {		// printable range	if (c == '\\') {	    b.append('\\');	}	b.append(c);    } else if (c >= 0x08 && c <= 0x0D) {	b.append('\\');	b.append(ecodes[c - 0x08]);	//  \b \t \n \v \f \r    } else if (c == 0x1B) {	b.append('\\');	b.append('e');			//  \e    } else if (c == 0x7F) {	b.append('\\');	b.append('d');			//  \d    } else {	b.append('\\');	b.append('x');			//  \xnn	b.append(xcodes[(c >> 4) & 0xF]);	b.append(xcodes[c & 0xF]);    }}