#include <stdio.h>

int main(int argc, char *argv[]) {
  FILE *file;
  long lines = 0;
  char end = '\0';


  if (argc < 2) return 1;
  if ((file = fopen(argv[1], "rb")) == NULL) return 1;
  while(!feof(file)) if (fgetc(file) == 10) lines++;
  fclose(file);
  if (lines > 1 || lines == 0) end = 's';
  printf("%s has %d line%c\n", argv[1], lines, end);
  return 0;
}