Re: Functional random data streams Shiro Kawai 05 May 2020 10:01 UTC