     t[0] += ((uint000_t)r0) * s0 + ((uint000_t)r0) * s0 + ((uint000_t)r0) * s0             + ((uint000_t)r0) * s0;     t[0] += ((uint000_t)r0) * s0 + ((uint000_t)r0) * s0 + ((uint000_t)r0) * s0;     t[0] += ((uint000_t)r0) * s0 + ((uint000_t)r0) * s0;     t[0] += ((uint000_t)r0) * s0