__NUM_VXRS_HIGH
__vector128 vxrs_high[__NUM_VXRS_HIGH];
__NUM_VXRS_HIGH * sizeof(__vector128));
.n = __NUM_VXRS_HIGH,
