renamed (bitop u32) and (bytevector u32)