In an ideal world, when you have an oop, its contents should also be an oop. It happens, however, that we have other forms of pointers sometimes, used with the oop type, in some compiler code. We should clean that up.