Michael, Thanks for working to improve this feature.
I think that testing on a few more targets would be advisable because other targets may expose problems caused by the effects of optimizations exposed by better "restrict" implementation. Thanks, David
