>I've looked at the old code and found it's simply printing the report (at the end of a dump) line by line (using ? and ??) but with devi set to prin. It's been decided that this task would most easily be tackled by Set devi to file, letting the user know where we're putting it. Then they can print off or not the file, at their leisure, say from Windows, and we don't need to worry about USB printer or network.

IIRC, Set Device is for the output of @say commands. For printing into a file you need to

set printer to myfile.txt
set printer on
*-- bunch of ? and ?? statements here
set printer off
set printer to