In addition to that specification,
may be a form whose
. Such a form is evaluated when the restart is set up and is expected to return a list of a format string and format arguments. When the restart is asked to report, this is done by calling
on the stream, the format string and the format arguments. This is more efficient than specifying an equivalent function, because no function object is created.