Issue #44: with... unwrapper type declarations for pointer hooks