/*
This does not work when char > 1 byte Unicode is used
public void write_string(String s) {
this.write1(OtpExternal.stringTag);
this.write2BE(s.length());
this.writeN(s.getBytes());
}*/
/*
* Write an arbitrary Erlang term to the stream.
*
* @param o the Erlang term to write.
*/
public virtual void write_any(Erlang.Object o)
{
// calls one of the above functions, depending on o
o.encode(this);
}