// #file: file1.c3
module foo;

int a;
int b;

// #file: file2.c3
module bar;
int a;
int b;

// #file: file3.c3

module baz;
import foo;
import bar;

int a;

fn void test2()
 @private{
    int c = a;  // This is fine.
    c = foo::b;
    c = bar::b;
    c = foo::a;
    c = b; // #error: global variable needs a path prefix (e.g. 'foo::b')
}
