public final void writeMapleAsciiString(final String s){
  writeShort((short)s.length());
  writeAsciiString(s);
}

public final void writeMapleAsciiString ( final String s ) { writeShort ( ( short ) s . length ( ) ) ; writeAsciiString ( s ) ; }
writes a maple - convention ascii string to the stream .
