Pintool used to collect traces