Introduced a separate DCprintDeref to separate the handlePrintDeref() from