/usr.bin/xlint/arch/ns32k/