1extern char foo[], bar[];
2void f (void) { memcpy (foo, bar, 7); }
3