* eieio.texi: