DynamoRIO API