0214_bool.c:6.42-54: [ x in top, y in top ]
0214_bool.c:7.9-21: [ x in top, y in top ]
