SRI YICES/Extensions