fix: check that UINT32_OPTION_VALUE is a Uint32