>I've never done anything with x86-64, so I don't know whether they get >canonicalized to i[456]86 or not. How do I find this out? -benjamin