1  typedef __SIZE_TYPE__ size_t;
       2  
       3  extern inline __attribute__ ((__always_inline__, __gnu_inline__, __artificial__, __nothrow__, __leaf__)) void *
       4  memcpy (void *__restrict __dest, const void *__restrict __src, size_t __len)
       5  {
       6    return __builtin___memcpy_chk (__dest, __src, __len, __builtin_object_size (__dest, 0));
       7  }
       8  
       9  __attribute__((optimize ("Ofast"))) void
      10  bar (void *d, void *s, size_t l)
      11  {
      12    memcpy (d, s, l);
      13  }
      14