#ifndef __READNUMS_H__
#define __READNUMS_H__

#include <stdio.h>

int **get_number_lines(FILE *f);
/* Reads from the given stream, accepting digits, spaces, newlines,
   and return if followed by a newline. Each line must have at least
   one number, where numbers on a single line are separated by spaces,
   and no number is 0. The number must be small enough to fit into a C
   `int' (which normally means 2147483647 or less). An end-of-file
   terminates the input.

   The result is an array of lines, where each line is an array of
   ints. The array for an int is terminated with a 0; that is, if the
   line had four numbers, then the array representing the line has
   five numbers, where the last one is 0. The array of lines is
   terminated with NULL; that is, if the input has six lines, the
   result array will have seven pointers, where the last one is
   NULL. */

#endif