Report question

Question: Computing high 64 bits of a 64x64 int product in C