Pointers and Declarative Pinning