0205_cmp_eq.c:6.13-25: [ x in top, y in top ]
