0302_assert_both.c:4.2-5.2: ERROR: assertion failure
0302_assert_both.c:5.2-6.2: ERROR: assertion failure
0302_assert_both.c:6.2-7.0: [ x in [1;10] ]
