assert on bad pointer in Pointer_stringify