char *x;

void foo (char *s) __attribute__((noinline));

void foo (char *s)
{
    x = s;
    return;
}


int main (void)
{
    unsigned char z[] = "This is a test.";
    
    foo(z);

    return 0;
}