This seems useful to catch errors of the sort I just fixed, where
PageGetSpecialPointer is called before initializing the page.