2013-04-03 21:39:13 +02:00

10 lines
89 B
C

#include <stdio.h>
int foo;
int
main ()
{
printf ("PASSED: %d\n", foo);
return 0;
}