Re: Functional random data streams Shiro Kawai 05 May 2020 09:11 UTC