3 ms·That was my point. valgrind is very user friendly. Keep using it!by leif 15y agoThat was my point. valgrind is very user friendly. Keep using it!