public static void pushSpecial(Symbol variable, Symbol oldvaluevariable) {
    ((KeyValueList)(Stella.$SPECIALVARIABLESTACK$.get())).theKvList = KvCons.kvCons(variable, oldvaluevariable, ((KeyValueList)(Stella.$SPECIALVARIABLESTACK$.get())).theKvList);
  }