public static void pushVariableBinding(Symbol variable, StandardObject type) {
    { Stella_Class renamed_Class = StandardObject.typeSpecToClass(type);

      if (variable == null) {
        return;
      }
      if ((renamed_Class == null) &&
          (!(type == Stella.SGT_STELLA_UNINITIALIZED))) {
        { Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();

          try {
            Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
            Stella.signalTranslationError();
            if (!(Stella.suppressWarningsP())) {
              Stella.printErrorContext(">> ERROR: ", Stella.STANDARD_ERROR);
              {
                Stella.STANDARD_ERROR.nativeStream.println();
                Stella.STANDARD_ERROR.nativeStream.println(" No class defined for type: `" + StandardObject.typeSpecToBaseType(type) + "'.");
              }
;
            }

          } finally {
            Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
          }
        }
        type = Stella.SGT_STELLA_UNKNOWN;
      }
      if ((!((!Stella.translateToSingleInheritanceLanguageP()) ||
          (!(Stella.$MIXIN_IMPLEMENTATION_STYLE$ == Stella.KWD_SECOND_CLASS)))) &&
          ((renamed_Class != null) &&
           (renamed_Class.mixinP &&
            ((((MethodSlot)(Stella.$METHODBEINGWALKED$.get())) == null) ||
             ((!Slot.mixinMethodP(((MethodSlot)(Stella.$METHODBEINGWALKED$.get())))) ||
              ((KeyValueList)(Stella.$LOCALVARIABLETYPETABLE$.get())).nonEmptyP()))))) {
        { Object old$PrintreadablyP$001 = Stella.$PRINTREADABLYp$.get();

          try {
            Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
            Stella.signalTranslationError();
            if (!(Stella.suppressWarningsP())) {
              Stella.printErrorContext(">> ERROR: ", Stella.STANDARD_ERROR);
              {
                Stella.STANDARD_ERROR.nativeStream.println();
                Stella.STANDARD_ERROR.nativeStream.println(" Variable `" + Stella_Object.deUglifyParseTree(variable) + "' is typed with a mixin class which is");
                Stella.STANDARD_ERROR.nativeStream.println(" illegal when translating to a single-inheritance language.");
              }
;
            }

          } finally {
            Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$001);
          }
        }
      }
      ((KeyValueList)(Stella.$LOCALVARIABLETYPETABLE$.get())).theKvList = KvCons.kvCons(variable, type, ((KeyValueList)(Stella.$LOCALVARIABLETYPETABLE$.get())).theKvList);
      Symbol.maybeRenameLocalVariable(variable);
    }
  }