Check whether page table exists; be more carefulabout encoding