set_ui32x
return (set_ui32x(pp, s, UINT8_MAX));
return (set_ui32x(pp, s, UINT16_MAX));
return (set_ui32x(pp, s, UINT32_MAX));