    class
    	MEM_INFO

    General
    	cluster: base
    	description:
    		"Properties of the memory management mechanism.
    		This class may be used as ancestor by classes needing its facilities."
    	create: make

    Ancestors
    	MEMORY_STRUCTURE*
    	MEM_CONST

    Queries
    	C_memory: INTEGER_32
    	chunk: INTEGER_32
    	Eiffel_memory: INTEGER_32
    	free: INTEGER_32
    	Full_collector: INTEGER_32
    	Incremental_collector: INTEGER_32
    	overhead: INTEGER_32
    	total: INTEGER_32
    	Total_memory: INTEGER_32
    	type: INTEGER_32
    	used: INTEGER_32

    Commands
    	make (memory: INTEGER_32)
    	update (memory: INTEGER_32)

    Constraints
    	consistent memory