x = unifReal(-1.0,3.0);
c = 0;
while (x <= 4.0) do
      x = x + unifReal(-1.0,3.0);
      c = c + unifInt(0,2)
end;
estimateProb(c <= 8);
estimateProb(c <= 7);
estimateProb(c <= 6);
estimateProb(c <= 5);
estimateProb(c <= 4);
estimateProb(c <= 3);
estimateProb(c <= 2);
estimateProb(c <= 1)