Experimenting with safeRecDerefPtrs