Re: Functional random data streams Shiro Kawai 05 May 2020 19:44 UTC