A C++ large integer precision question during multiplication

Question

If I run the following program:

#include 

int main()
{
   using namespace std;

   uint64_t f12 = 18446744073709551568;
   uint64_t f3 = 2;