Re: Functional random data streams Shiro Kawai 05 May 2020 20:23 UTC