Redirect trace output to a file
(open-trace-file "foo") ; trace output will go to file foo
(open-trace-file filename) ; trace output will go to file filename
Output from trace$ normally goes to the screen, i.e., standard-co. But it can be redirected to a file as shown above. See close-trace-file for how to send trace output back to the screen.
Open-trace-file does not work as would reasonably be expected during
make-event expansion. Use open-trace-file! instead within