My DEC implementation