Take a look at the just-checked-in examples/google-puzzle.5c. It outputs an even answer :-), but I checked that Miller Rabin is doing the right thing here. Probably a compiler bug... Bart