0400_loop.c:5.4-6.4: [ x in {0} ]
0400_loop.c:5.4-6.4: [ x in {1} ]
0400_loop.c:5.4-6.4: [ x in {2} ]
0400_loop.c:5.4-6.4: [ x in {3} ]
0400_loop.c:5.4-6.4: [ x in top ]
