proc_open (ds);
while (ok && proc_read (ds, &c))
if (proc != NULL)
ok = proc (c, aux, ds) && ok;
if (end != NULL)
ok = end (aux, ds) && ok;
proc_open (ds);
while (ok && proc_read (ds, &c))
if (proc != NULL)
ok = proc (c, aux, ds) && ok;
if (end != NULL)
ok = end (aux, ds) && ok;