* observable in a program whose behavior is defined. Thus no locking is
* performed here. No allocation of buffers is performed, but a buffer
* provided by the caller is used as long as it is suitably sized. */
* observable in a program whose behavior is defined. Thus no locking is
* performed here. No allocation of buffers is performed, but a buffer
* provided by the caller is used as long as it is suitably sized. */