1 2 3 4 5 6 7 8 9 10 11 12
#include <stdio.h> extern void foo(void); extern int i; int main() { foo(); if (i == 0x1234) printf ("PASS\n"); return 0; }