Symbol: ch_add_uint32