Consider the x64 platform