0211_and.c:6.24-36: [ x in top, y in top ]
0211_and.c:7.9-21: [ x in top, y in top ]
