All the other references to when ARCH_X86_64 / ARCH_X64 break them out into two separate lines, even when the then clause is the same.