0007_print.c:6.2-7.2: [ x in {12}, y in {15} ]
0007_print.c:9.2-10.0: [ x in {0}, y in {9} ]
