/* DECchip 21041 */