Note on array-copy Jens Axel Søgaard 05 Jan 2022 21:02 UTC