0102_if_both.c:5.2-6.0: [ x in top ]
