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() + ">");
}