indexing
	description: ""
	status:	"See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"

deferred class 
	PARENT	

feature 

	f: INTEGER is
		deferred
		end

	b is
		deferred
		end

end -- class PARENT