/* { dg-require-effective-target trampolines } */

void abort (void);
void exit (int);

int
main (void)
{
  int i = 0;
  int a (int x)
    {
      while (x)
	i++, x--;
      return x;
    }

  if (a (2) != 0)
    abort ();

  exit (0);
}