limit_assert