> Enclose grind_file in with_stdout to capture output to another file.
Thanks for the help. I tried this on some code. It looks useful.
I also stringout to do the following
stringout("fname",[1,1000],2);
prints input lines 1 through 1000 to file fname with 2 additional newlines
between every input.
I can send it if you think its useful, but maybe its better to wait until s(if)
someone has the time to think more carefully about how to extend stringout.
Thanks,
John