#include <stdio.h>
#include <stdlib.h>

int
__attribute__((noinline))
baz (int x)
{
  abort ();
}

int
bar (int x)
{
  puts ("in bar");
  return baz (x + 1) + 2;
}