Re: more on x86_64