Partially 32/64-bit proof