sources/0404_assert_rel.c:4.0-13: ERROR: assertion failure
Output: [ x in top, y in top ]