rem: print_a_header = FALSE;
add: print_a_header = false;
context: print_header (void){  char page_text[256 + INT_STRLEN_BOUND (int)];  int available_width;  int lhs_spaces;  int rhs_spaces;  if (!use_form_feed)    printf ("\n\n");  output_position = 0;  pad_across_to (chars_per_margin);  print_white_space ();  /* The translator must ensure that formatting the translation of     "Page %d" does not generate more than (sizeof page_text - 1)     bytes.  */  sprintf (page_text, _("Page %d"), page_number++);  available_width = header_width_available - mbswidth (page_text, 0);  available_width = MAX (0, available_width);  lhs_spaces = available_width >> 1;  rhs_spaces = available_width - lhs_spaces;  printf ("%s%*s%s%*s%s\n\n\n",	  date_text, lhs_spaces, " ", file_text, rhs_spaces, " ", page_text);  print_a_header = FALSE;  output_position = 0;}