1  typedef unsigned long long ull;
       2  ull bar (void);
       3  void foo (ull *x)
       4  {
       5    ull y = bar ();
       6    *x += y >> 32;
       7  }