1699   const RangeInt UCharRangeMax =  in initFunctionSummaries()  local
1841           .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},  in initFunctionSummaries()
1846                    {{'0', '9'}, {'A', 'Z'}, {'a', 'z'}, {128, UCharRangeMax}}),  in initFunctionSummaries()
1850                                            {{EOFv, EOFv}, {0, UCharRangeMax}},  in initFunctionSummaries()
1859           .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},  in initFunctionSummaries()
1863                      {{'A', 'Z'}, {'a', 'z'}, {128, UCharRangeMax}}),  in initFunctionSummaries()
1932           .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},  in initFunctionSummaries()
1935           .Case({ArgumentCondition(0U, OutOfRange, Range(0, UCharRangeMax)),  in initFunctionSummaries()
1970           .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},  in initFunctionSummaries()
1973                                    {{9, 13}, {' ', ' '}, {128, UCharRangeMax}}),  in initFunctionSummaries()
1986           .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},  in initFunctionSummaries()
1990                                    {{'A', 'Z'}, {128, UCharRangeMax}}),  in initFunctionSummaries()
2011                                            {{EOFv, EOFv}, {0, UCharRangeMax}},  in initFunctionSummaries()
2017                                            {{EOFv, EOFv}, {0, UCharRangeMax}},  in initFunctionSummaries()
2023                                            {{EOFv, EOFv}, {0, UCharRangeMax}},  in initFunctionSummaries()
2031                                       {{EOFv, EOFv}, {0, UCharRangeMax}})},  in initFunctionSummaries()
2037                                       {{EOFv, EOFv}, {0, UCharRangeMax}})},  in initFunctionSummaries()
2220                    ArgumentCondition(0, WithinRange, {{0, UCharRangeMax}})},  in initFunctionSummaries()
2228                    ArgumentCondition(0, WithinRange, {{0, UCharRangeMax}})},  in initFunctionSummaries()
2231                 0, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))  in initFunctionSummaries()
3022             .Case({ReturnValueCondition(WithinRange, Range(-1, UCharRangeMax))},  in initFunctionSummaries()