0008_noinit.c:3.2-4.2: [ x in [0;0] ]
0008_noinit.c:5.2-6.0: [ x in [2;2] ]
