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