0204_cmp_gt.c:6.12-24: [ x in top, y in top ]
