0213_not.c:6.27-39: [ x in top, y in top ]
0213_not.c:7.9-21: [ x in top, y in top ]
