assumptions.c: In function ‘VALC_check_assumptions’:
assumptions.c:65:6: error: ‘SIZE_T_MAX’ undeclared (first use in this function)
if(SIZE_T_MAX - 1 < INT_MAX)
^
assumptions.c:65:6: note: each undeclared identifier is reported only once for each function it appears in