Re: Problems with Aarch64 vmull_p64 and vmull_high_p64