private static void addquoted(Buffer buf, LuaString s) {
		int c;
		buf.append((byte) '"');
		for (int i = 0, n = s.length(); i < n; i++) {
			switch (c = s.luaByte(i)) {
			case '"':
			case '\\':
			case '\n':
				buf.append((byte) '\\');
				buf.append((byte) c);
				break;
			default:
				if (c <= 0x1F || c == 0x7F) {
					buf.append((byte) '\\');
					if (i + 1 == n || s.luaByte(i + 1) < '0' || s.luaByte(i + 1) > '9') {
						buf.append(Integer.toString(c));
					} else {
						buf.append((byte) '0');
						buf.append((byte) (char) ('0' + c / 10));
						buf.append((byte) (char) ('0' + c % 10));
					}
				} else {
					buf.append((byte) c);
				}
				break;
			}
		}
		buf.append((byte) '"');
	}