make some use of the load32 helper