!log-file-name
Assign a log file where the instrumentation output from
printing-x86-components will be stored
Definitions and Theorems
Function: !log-file-name-function
(defun !log-file-name-function (name state)
(declare (xargs :stobjs (state)))
(mv nil name state))
