CSAPP/3/3.39_full_umul: Rewrite the function mul64_cpp