let max_assert_lookahead_exceeding = 10000