mkToBit32 and mkFromBit32 are now duals
marshalling/demarshalling done right