Debugging RDC