/* DECchip 21142 */