DEC vt52 question: rom dumps