OutputStream outputstream, Object obj, Object aobj[]) {
   outputstream = new OutPort(outputstream);
   format(new Object[] {outputstream, obj, aobj});
   outputstream.closeThis();
 }