% Regression test: `length/2` must handle lists longer than internal guards.

ok :-
  length(L, 70000),
  length(L, N),
  N =:= 70000.