#include <stdio.h>

int
foo (void)
{
  return 21;
}

static int
do_test (void)
{
  int val = foo ();
  if (val != 34)
    {
      printf ("foo () returned %d\n", val);
      return 1;
    }

  return 0;
}

#include <support/test-driver.c>