Are we sure about this difference between x86 and x64?