% Reason for |\endlinechar=32| is that a line ending with a backslash
% will be interpreted as the token
% \verb*\ * which seems most natural and since spaces are ignored it works as we intend elsewhere.
