SRI YICES/General