provides a means of defining an uninitialized buffer.
In systems that use a single memory space, this can effectively
be defined as:
However, many systems profit from a separation of uninitialized and
initialized data areas. Such systems can implement BUFFER:
that it allocates memory from a separate uninitialized memory area.
Embedded systems can take advantage of the lack of initialization of the
memory area while hosted systems are permitted to ALLOCATE
A system may select a region of memory for performance reasons.
A detailed knowledge of the memory allocation within the system
is required to provide a version of BUFFER:
that can take
advantage of the system.
It should be noted that the memory buffer provided by BUFFER:
is not initialized by the system and that if the application requires
it to be initialized, it is the responsibility of the application to