public static void prettyPrintLiteral(Stella_Object literal, OutputStream stream) {
    if (Surrogate.subtypeOfBooleanP(Stella_Object.safePrimaryType(literal))) {
      { BooleanWrapper literal000 = ((BooleanWrapper)(literal));

        if (literal000 == Stella.TRUE_WRAPPER) {
          stream.nativeStream.print("TRUE");
        }
        else {
          stream.nativeStream.print("FALSE");
        }
      }
    }
    else {
      { Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();

        try {
          Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
          stream.nativeStream.print(literal);

        } finally {
          Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
        }
      }
    }
  }