sources/0508_loop_init.c:13.2-14.0: ERROR: assertion failure
Output: [ init in top, x in top ]