In situations where an external file format designator is required, such
as the @code{:external-format} argument in calls to @code{open} or
@code{with-open-file}, users may supply the name of an encoding to
In situations where an external file format designator is required, such
as the @code{:external-format} argument in calls to @code{open} or
@code{with-open-file}, users may supply the name of an encoding to