let max_assert_lookahead = 50000