public static void printKifWrapper(LiteralWrapper self) {
    { OutputStream stream = ((OutputStream)(Logic.$PRINTLOGICALFORMSTREAM$.get()));

      { Surrogate testValue000 = Stella_Object.safePrimaryType(self);

        if (Surrogate.subtypeOfIntegerP(testValue000)) {
          { IntegerWrapper self000 = ((IntegerWrapper)(self));

            stream.nativeStream.print(self000.wrapperValue);
          }
        }
        else if (Surrogate.subtypeOfLongIntegerP(testValue000)) {
          { LongIntegerWrapper self000 = ((LongIntegerWrapper)(self));

            stream.nativeStream.print(self000.wrapperValue);
          }
        }
        else if (Surrogate.subtypeOfFloatP(testValue000)) {
          { FloatWrapper self000 = ((FloatWrapper)(self));

            stream.nativeStream.print(self000.wrapperValue);
          }
        }
        else if (Surrogate.subtypeOfBooleanP(testValue000)) {
          { BooleanWrapper self000 = ((BooleanWrapper)(self));

            stream.nativeStream.print(self000.wrapperValue);
          }
        }
        else if (Surrogate.subtypeOfStringP(testValue000)) {
          { StringWrapper self000 = ((StringWrapper)(self));

            { Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();

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

              } finally {
                Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
              }
            }
          }
        }
        else if (Surrogate.subtypeOfCharacterP(testValue000)) {
          { CharacterWrapper self000 = ((CharacterWrapper)(self));

            { Object old$PrintreadablyP$001 = Stella.$PRINTREADABLYp$.get();

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

              } finally {
                Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$001);
              }
            }
          }
        }
        else {
          { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

            stream000.nativeStream.print("`" + testValue000 + "' is not a valid case option");
            throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
          }
        }
      }
    }
  }