Adds test for x64 -> i386 -> x64 transitions