better ptrlist dumping