Not much luck with helgrind, so try again with drd.