@import(lib3);
@export(f3,f4,c1,c2);
@define f3() { printf("Running f3 from lib4\n"); }
@define f4() { printf("Running f4 from lib4\n"); }
c1 = 1;
c2 = 2;
f2(); //from lib3
printf("finished loading lib4\n");