sources/0507_loop_limit2.c:6.0-9: [ x in top ]
Output: [ N in top, x in top ]