Fix for issue #78
"Any pointer type" is now address-space neutral