Convert from two-pointer representation to ptr+size representation with 32-bit size.