$ISE_EIFFEL\precomp\spec	1