1 int zero_init(); 2 int badSrcGlobal = zero_init(); 3 int readBadSrcGlobal() { return badSrcGlobal; } 4 5
