blob: d61437b1d1b63928bdc4bf7fcefb178b0ace1279 [file] [log] [blame]
#include <stdio.h>
extern void foo(void);
extern int i;
int main()
{
foo();
if (i == 0x1234)
printf ("PASS\n");
return 0;
}