Re: What's up with x86_64?