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