#include <stdio.h>
#include <stdlib.h>
int
__attribute__((noinline))
baz (int x)
{
abort ();
}
bar (int x)
puts ("in bar");
return baz (x + 1) + 2;