0201_cmp_le.c:6.13-25: [ x in top, y in top ]
