public static void unwindToChoicePoint(ControlFrame frame) {
    { int choicepoint = frame.choicePointUnbindingOffset;

      if (choicepoint != Stella.NULL_INTEGER) {
        PatternRecord.unbindVariablesBeginningAt(frame.inheritedPatternRecord, choicepoint);
      }
    }
  }