1  __attribute__((noinline))
       2  __int128 multiply_add (long a, long b, long c)
       3  {
       4    return (__int128) a * b + c;
       5  }
       6  
       7  __attribute__((noinline))
       8  unsigned __int128 multiply_addu (unsigned long a, unsigned long b,
       9  				 unsigned long c)
      10  {
      11    return (unsigned __int128) a * b + c;
      12  }