Pointer resolution and tests