none:	N1 -{INIT GLOBAL VARS}-> N27
line 1:	N27 -{void __VERIFIER_error();}-> N28
line 2:	N28 -{unsigned char __VERIFIER_nondet_uchar();}-> N29
lines 4-19:	N29 -{int main();}-> N30
none:	N30 -{Function start dummy edge}-> N2
line 5:	N2 -{unsigned char a;}-> N3
line 5:	N3 -{a = __VERIFIER_nondet_uchar();}-> N4
line 6:	N4 -{unsigned char b;}-> N5
line 6:	N5 -{b = __VERIFIER_nondet_uchar();}-> N6
line 7:	N6 -{unsigned char c = b + 1;}-> N7
line 8:	N7 -{unsigned char i = 0;}-> N8
	a == main::a#1;
	c == ((unsigned char)(((signed int)main::b#3) + 1));
	b == main::b#3;
	i == 0U;
line 9:	N8 -{while}-> N9
line 9:	N9 -{[!(a < 100)]}-> N11
	main::a#1 >= 100;
line 16:	N11 -{[c <= b]}-> N24
	main::a#1 >= 100;
	((unsigned char)(((signed int)main::b#3) + 1)) <= main::b#3;
line 17:	N24 -{Label: ERROR}-> N25
	main::a#1 >= 100;
	((unsigned char)(((signed int)main::b#3) + 1)) <= main::b#3;