void *aux)
WARN_UNUSED_RESULT;
-
-
time_t time_of_last_procedure (struct dataset *ds);
+
+void proc_open (struct dataset *);
+bool proc_read (struct dataset *, struct ccase **);
+bool proc_close (struct dataset *);
\f
struct ccase *lagged_case (const struct dataset *ds, int n_before);