Seems you will need some others so that we can completely stub dereferencing.