control-string - a format control.
args - format arguments for control-string.
result - if destination is non-nil, then nil; otherwise, a string.
If destination is a string, a stream, or t, then the result is nil. Otherwise, the result is a string containing the `output.'
format is useful for producing nicely formatted text, producing good-looking messages, and so on. format can generate and return a string or output to destination.
For details on how the control-string is interpreted, see Section 22.3 Formatted Output.