DS3100 & DECstation 5000/200  & Ultrix 4.2 &  51569 &       23 & 7917\\