    class
    	MEMORY_STREAM

    General
    	obsolete: "Use MANAGED_POINTER instead."
    	cluster: base
    	description: "Stream of data stored in non Eiffel memory"
    	create: make_from_pointer, make

    Ancestors
    	DISPOSABLE*

    Queries
    	area: POINTER
    	capacity: INTEGER_32
    	count: INTEGER_32
    	infix "@" (i: INTEGER_32): INTEGER_8
    	is_equal (other: [like Current] MEMORY_STREAM): BOOLEAN
    	is_resizable: BOOLEAN
    	item alias "[]" (i: INTEGER_32): INTEGER_8
    	valid_index (i: INTEGER_32): BOOLEAN

    Commands
    	append (other: [like Current] MEMORY_STREAM)
    	copy (other: [like Current] MEMORY_STREAM)
    	force (v: INTEGER_8; i: INTEGER_32)
    	put (v: INTEGER_8; i: INTEGER_32)
    	set_capacity (n: INTEGER_32)
    	set_count (n: INTEGER_32)

    Constraints
    	non void internal area
    	area not null