0208_cmp_ne.c:6.13-25: [ x in top, y in {10} ]
