Le 24/05/11 16:19, Alexander Thurgood a écrit : Well, whadya know ? I'm in business :-) I reinstalled valgrind with : sudo port install valgrind +universal those ahem <insert expletive> 32bit binaries get me everytime. Now it works. So off I go to investigate. Alex