+
+char*
+read_todo(FILE* file)
+{ // apparently getline isn't rly that portable, so consider other options
+ char* lineptr;
+ size_t len;
+ ssize_t nread;
+
+ lineptr = NULL;
+ len = 0;
+
+ while ((nread = getline(&lineptr, &len, file)) != -1) {
+ printf("Read line of size %zd\n", nread);
+ }
+
+ return lineptr;
+}
+