Improved Executive Summary, make Basic thread-safety guarantee more explicit, improve Strong thread safety wording, remove "reentrant subroutine" latitude, tighten note wording, tighten allocate/deallocate wording and make both uses consistent, other library functions that call rand must observe thread safety. Thanks to Lawrence for many comments and suggestions.