Symbol: of_uint32d