234     int closed = 12345;  in closedFormInductionUp()  local
236       closed += 5;  in closedFormInductionUp()
238     return closed;  // only needs last value  in closedFormInductionUp()
254   static int closedFormInductionInAndDown(int closed) {  in closedFormInductionInAndDown()  argument
256       closed -= 5;  in closedFormInductionInAndDown()
258     return closed;  // only needs last value  in closedFormInductionInAndDown()
275     int closed = 11;  in closedFormInductionTrivialIf()  local
280         closed += 7;  in closedFormInductionTrivialIf()
282         closed += 7;  in closedFormInductionTrivialIf()
285     return closed;  // only needs last value  in closedFormInductionTrivialIf()
302     int closed = 0;  in closedFormNested()  local
305         closed++;  in closedFormNested()
308     return closed;  // only needs last-value  in closedFormNested()
325     int closed = 12345;  in closedFormNestedAlt()  local
328         closed += 7;  in closedFormNestedAlt()
331     return closed;  // only needs last-value  in closedFormNestedAlt()
336     int closed = 12345;  in closedFormInductionUpN()  local
338       closed += 5;  in closedFormInductionUpN()
340     return closed;  // only needs last value  in closedFormInductionUpN()
344   static int closedFormInductionInAndDownN(int closed, int n) {  in closedFormInductionInAndDownN()  argument
346       closed -= 5;  in closedFormInductionInAndDownN()
348     return closed;  // only needs last value  in closedFormInductionInAndDownN()
353     int closed = 0;  in closedFormNestedN()  local
356         closed++;  in closedFormNestedN()
359     return closed;  // only needs last-value  in closedFormNestedN()
364     int closed = 12345;  in closedFormNestedNAlt()  local
367         closed += 7;  in closedFormNestedNAlt()
370     return closed;  // only needs last-value  in closedFormNestedNAlt()
375     int closed = 0;  in closedFormNestedMN()  local
378         closed++;  in closedFormNestedMN()
381     return closed;  // only needs last-value  in closedFormNestedMN()
386     int closed = 12345;  in closedFormNestedMNAlt()  local
389         closed += 7;  in closedFormNestedMNAlt()
392     return closed;  // only needs last-value  in closedFormNestedMNAlt()
520     int closed = 0;  in closedTwice()  local
522       closed++;  in closedTwice()
526     for (int i = 0; i < closed; i++) {  in closedTwice()
547     int closed = 0;  in closedFeed()  local
549       closed++;  in closedFeed()
554       closed++;  in closedFeed()
556     return closed;  in closedFeed()
571     int closed = 0;  in closedLargeUp()  local
573       closed += 0x7fffffff;  in closedLargeUp()
575     return closed;  in closedLargeUp()
590     int closed = 0;  in closedLargeDown()  local
592       closed -= 0x7fffffff;  in closedLargeDown()
594     return closed;  in closedLargeDown()