return 0; 
int main(){    #ifdef RELEASE    release();    #else    debug();    #endif}
2658	/local/tlutelli/issta_data/temp/c/2005_temp/2005/2658/394043114a197e80b9faee2fcc76d81770e7812c/hello.cpp/buggy/test/prebuilt/hello.cpp