func: static void goodG2B2() char * data ; char dataBuffer [ 100 ] = "" ; data = dataBuffer; if ( globalReturnsTrue ( ) )  int globalReturnsTrue() return 1 ; strcpy ( data , "fixedstringtest" ); if ( globalReturnsTrue ( ) )  int globalReturnsTrue() return 1 ; fprintf ( stdout , data ); 