int uninitialized;
int initialized = 0;
int nonexternalized;

int main(int argc, char **argv)
{
    return foo1();
}