A playground for Intel Pin tools