* optimization: performance improvements to IO on file streams of
:ELEMENT-TYPE CHARACTER
* optimization: much faster memory allocation on x86-64
* optimization: performance improvements to IO on file streams of
:ELEMENT-TYPE CHARACTER
* optimization: much faster memory allocation on x86-64