Re: aarch64 bugs