void close() {
   Term.assertCond(hStream != null);
   cstream.close();
   hStream.close();
   cstream = null;
   hStream = null;
 }
 void hPrint(String s) {
   Term.assertCond(hStream != null);
   hStream.print(s);
 }
 void hCloseOnly() {
   Term.assertCond(hStream != null);
   hStream.close();
 }
 void fileClose() {
   Term.assertCond(hStream != null);
   cstream.fileClose();
   hStream.fileClose();
 }
 void instancePrint(String s) {
   Term.assertCond(hStream != null);
   instanceSBuf.append(s);
 }
 static String getRcvrName(int rcvr, int type) {
   Term.assertCond(rcvr > 0);
   return "jcgo_rcvr"
       + Type.sig[type < Type.CLASSINTERFACE && type != Type.NULLREF ? type : Type.CLASSINTERFACE]
       + Integer.toString(rcvr);
 }