in reply to Re^2: equivalent to prove?in thread equivalent to prove?
Nope, that tells it to write the output to 'anotherprog'. To do what you described, you'd want: