UNSTABLE: New API, yet to be vetted.

Pointers are represented either with a PointerObject object or a null if the pointer is null.