writeString(byte [] s, int start) { write(s, start, s[start] + 1);
writeString(String s) { writeByte(s.length()); writeArray(s.getBytes());
writeString(byte [] s, int start) {	write(s, start, s[start] + 1);}