public override String ToString() { output_port strstream = new output_string_port(); write( strstream ); Object r = strstream.close(); if (r is byte[]) return foreign.newstring( (byte[])r ); return ("<obj " + GetType().ToString() + ">"); }