func: void bad() size_t data ; data = 0; char inputBuffer [ CHAR_ARRAY_SIZE ] = "" ; if ( fgets ( inputBuffer , CHAR_ARRAY_SIZE , stdin ) != NULL )  data = strtoul ( inputBuffer , NULL , 0 ); badSink ( data ); void badSink(size_t data) if ( badGlobal )  if ( data > strlen ( HELLO_STRING ) )  