UWN

When does what operation happen? You are not referring to the `l/1` example, say where the original string is, where `L` is (in the first inference), then in the second...

[Similar to other systems](https://stackoverflow.com/q/34558948/772868), there will be a lot of restrictions where this can be used safely.

No such problem when using `A^B#>27` instead of `A^B#>9` in ``` ?- between(0,1000000,N),([A,B]ins 0..3,A^B#>27,labeling([],[A,B]),false;N mod 10000=:=0,Countonly=true).

So far minimal leaking query: ``` ?- between(0,1000000,N),(B in -1..0,-1^B#>9,B= -1;N mod 10000=:=0,Countonly=true). N = 0, Countonly = true ; N = 10000, Countonly = true ; N = 20000,...

``` ulrich@p0:/opt/gupu/scryer-prolog$ sh -c 'ulimit -v 300000; time target/release/scryer-prolog -f' ?- repeat, _ is (2^64+1)-2^64, false. thread 'main' panicked at 'out of memory', /home/ulrich/.cargo/registry/src/index.crates.io-6f17d22bba15001f/dashu-int-0.4.0/src/error.rs:15:5 note: run with `RUST_BACKTRACE=1` environment variable...

Please note that this leak makes testing of clpz barely possible

@notoria's problems are gone, and the original problem now produces: ``` ?- between(0,1000000,N),(B in -1..0,-1^B#>9,B= -1;N mod 10000=:=0,Countonly=true). N = 0, Countonly = true ; N = 10000, Countonly =...

If you want to produce more information, you can put this into the second argument of `error/2`.

Is there hope that this gets fixed soon? That is, prior to GC?

Current minimal limit to run this: ``` ulimit -v 250000