moved xaddr dump code into ceptr, tiny cleanup