7 ms·I do most of the Valgrind maintenance these days.by paulf38 11mo agoI do most of the Valgrind maintenance these days.