Symbol: uint32x4_t