// { dg-do compile }
external_reference void abort ();

static int foo (int a);

foo
{
  return a;
}