Implement 32- and 64-bit flippers.
Use the new flipper (32/64-bit) versions.