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()
2030                                       {{EOFv, EOFv}, {0, UCharRangeMax}})},  in initFunctionSummaries()
2142                                         {{EOFv, EOFv}, {0, UCharRangeMax}})},  in initFunctionSummaries()
2245             .Case({ReturnValueCondition(WithinRange, {{0, UCharRangeMax}})},  in initFunctionSummaries()
2257             .Case({ArgumentCondition(0, WithinRange, Range(0, UCharRangeMax)),  in initFunctionSummaries()
2260             .Case({ArgumentCondition(0, OutOfRange, Range(0, UCharRangeMax)),  in initFunctionSummaries()
2261                    ReturnValueCondition(WithinRange, Range(0, UCharRangeMax))},  in initFunctionSummaries()
2299                    ArgumentCondition(0, WithinRange, {{0, UCharRangeMax}})},  in initFunctionSummaries()
2307                    ArgumentCondition(0, WithinRange, {{0, UCharRangeMax}})},  in initFunctionSummaries()
2310                 0, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))  in initFunctionSummaries()
3090             .Case({ReturnValueCondition(WithinRange, Range(-1, UCharRangeMax))},  in initFunctionSummaries()