void warn1(int *first, int *last) {
  *first = 0;
  if (first < last) {
  }
}
