uint32x3