Comment by Sagiri

The correct and portable solution is to not use uint32_t, but to use uint8_t, and construct the integers manually.