If you modify the SAT to have something like this: -3 2 1 And you try to read a stream placed in sector 1 the Pole library enters in an infinite loop.