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
	a == 104U;
line 6:	N4 -{unsigned char b;}-> N5
line 6:	N5 -{b = __VERIFIER_nondet_uchar();}-> N6
	b == 255U;
line 7:	N6 -{unsigned char c = b + 1;}-> N7
	c == 0U;
line 8:	N7 -{unsigned char i = 0;}-> N8
	a == 104U;
	c == 0U;
	i == 0U;
	b == 255U;
line 9:	N8 -{while}-> N9
line 9:	N9 -{[!(a < 100)]}-> N11
	a == 104U;
	a == 104U;
line 16:	N11 -{[c <= b]}-> N24
	c == 0U;
	b == 255U;
	c == 0U;
b == 255U;
line 17:	N24 -{Label: ERROR}-> N25