indexing
	description: "xxx"
	product: "Resource Bench"
	date: "$Date$"
	revision: "$Revision$"

-- Instruction -> Resource | Define_statement | Include_statement | Undef_statement | If_statement
--                Ifdef_statement | Ifndef_statement | Pragma_statement

class INSTRUCTION

inherit
	S_INSTRUCTION

creation
	make

end -- class INSTRUCTION