Mark this NOT_FOR 64-bit platforms; while it builds, gcc output and a
quick review of the header files indicates deeply ingrained assumptions
about pointers fitting in 32-bit integers, and it does not stand much
chance of working.