Multiplication: set t1 to the lower 32 bits of t2*t3