DynamoRIO-tutorial-pdf watchers