/* DECchip 21140 */