int read_line(char line[], int len)
{
  int i=0; char ch;

  while((ch = getchar()) != '\n') {
    if (i < len) {
      line[i] = ch;
      i++;
    }
  }

  line[i] = '\0';
  return(i);
}