void NOINLINE test11 (void) { char * save = (char*) alloca (4); test11a (save); }
int test11() { return test11a().x; }