link51/segments.c: BUGFIX: change an ASSERT into VERIFY