That article makes no sense.
Who cares about a 64-bit port of Pinball. 32-bit is fine with WOW64.--
Remember that cool hidden "Graffiti Wall" here on BBR? After the name change I became the "owner", so to speak as it became: Dustyn's Wall »[Serious] RIP