src/etc/etc.sgi
