You're right, I added some more clarity in the README. Interestingly, I think my approach will work fine on CHERI, since the pointer is never dereferenced, but

You're right, I added some more clarity in the README. Interestingly, I think my approach will work fine on CHERI, since the pointer is never dereferenced, but I didn't test this. But yeah, there are some architectures where it would fail.