path: root/test_deliverable/testcases/test_GLOBAL_driver.c

extern int x;

int main()
{
    return !( x == 23992 );
}