Symbol: mod_uint32_value