debugging RDRReader