Class EWG_EXTERNAL_MEMORY_ROUTINES

Use a_pointer + a_integer instead

-- Allocate memory for an array of an_elements elements of
-- an_element_size bytes each and returns a pointer to the
-- allocated memory. The memory is set to zero.

-- TODO: what if sizeof(int) != sizeof(void*) ?

-- TODO: what if sizeof(int) != sizeof(void*) ?

-- Put a_double at the a_pos-th byte position
-- starting at a_pointer.
-- Writes sizeof_double bytes.

-- Put a_int at the a_pos-th byte position
-- starting at a_pointer.
-- Writes 16 bits.
-- TODO: 'short' is not 2 bytes on all architectures
-- replace with macro that uses customizable types

-- Put a_int at the a_pos-th byte position
-- starting at a_pointer.
-- Writes 16 bits.
-- TODO: 'int' is not 4 bytes on all architectures
-- replace with macro that uses customizable types

-- Put a_int at the a_pos-th byte position
-- starting at a_pointer.
-- Writes 8 bits.
-- TODO: 'signed char' is not 1 byte on all architectures
-- replace with macro that uses customizable types

-- Put a_int at the a_pos-th byte position
-- starting at a_pointer.
-- Writes sizeof_int bytes.

-- Put a_value at the a_pos-th byte position
-- starting at a_pointer.
-- Writes sizeof_pointer bytes.

-- Put a_real at the a_pos-th byte position
-- starting at a_pointer.
-- Writes sizeof_real bytes.

-- Get the double at the a_pos-th
-- byte position starting at a_pointer.
-- Reads sizeof_double bytes.

-- Get the integer at the a_pos-th
-- byte position starting at a_pointer.
-- Reads 16 bits.
-- TODO: looking at the code, this probably does not work correctly
-- int is not even on most architectures 16 bit

-- Get the integer at the a_pos-th
-- byte position starting at a_pointer.
-- Reads 32 bits.
-- TODO: 'int' is not 4 bytes on all architectures
-- replace with macro that uses customizable types

-- Get the byte at the a_pos-th
-- byte position starting at a_pointer.
-- Reads 8 bits.
-- TODO: 'signed char' is not 1 byte on all architectures
-- replace with macro that uses customizable types

-- Get the integer at the a_pos-th
-- byte position starting at a_pointer.
-- Reads sizeof_int bytes.

-- Get the pointer at the a_pos-th
-- byte position starting at a_pointer.
-- Reads sizeof_pointer bytes.

-- Get the real at the a_pos-th
-- byte position starting at a_pointer.
-- Reads sizeof_real bytes.