I have found DynamoRIO offers rich APIs to operate for instrumentation. I noticed that most of us used drx_buf_insert_buf_store to store the value retrieved. I am wondering about the differences between drx_buf_insert_buf_store and directly saving using file pointer or something like this. Is this for the sake of efficiency?