Working with uint32_t vectors -- hopefully still works on 32-bit.