2 unknownsize.c: (in function uknSize1)
3 unknownsize.c:9:3: Possible out-of-bounds store:
4 Unable to resolve constraint:
5 requires maxSet(c @ unknownsize.c:9:3) >= 9
6 needed to satisfy precondition:
7 requires maxSet(c @ unknownsize.c:9:3) >= 9
9 Finished checking --- 1 code warning, as expected