public override void write( output_port p ) { p.write( "#<binary:port:" ); p.write( stream.ToString() ); p.write( ">" ); }