Re: [RFC 1/1] Optimizing the rand function on arm64 platforms