#include <stdio.h>
int
foo (void)
{
return 21;
}
main (void)
int val = foo ();
if (val != 34)
printf ("foo () returned %d\n", val);
return 1;
return 0;