As above for 32-bit platforms.