#include <stdio.h>

int
foo (void)
{
  return 21;
}

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

  return 0;
}