rem: have_read_stdin = 1;
add: have_read_stdin = true;
context: open_next_file (void){  int err = 0;  do    {      input_filename = *file_list;      if (input_filename == NULL)	return err;      ++file_list;      if (STREQ (input_filename, "-"))	{	  input_filename = _("standard input");	  in_stream = stdin;	  have_read_stdin = 1;	}      else	{	  in_stream = fopen (input_filename, "r");	  if (in_stream == NULL)	    {	      error (0, errno, "%s", input_filename);	      err = 1;	    }	}    }  while (in_stream == NULL);  if (limit_bytes_to_format && !flag_dump_strings)    SETVBUF (in_stream, NULL, _IONBF, 0);  SET_BINARY (fileno (in_stream));  return err;}