Adding the Pintool Code