Further specification of interface: allow debugging to go to a trace file.