2 {\rm -}{\rm -}\xspa{1}{\com Character\/}\xspa{1}{\com functions\/}\\
4 \begin{tabular}{@{}l@{\xspa1}c@{}l}
5 {\iden minChar\/}$,$\xspa{1}{\iden maxChar\/}\xspa{8} & $::$ & \xspa{1}{\iden Char\/}\\
6 {\iden minChar\/}\xspa{17} & $=$ & \xspa{1}\forquo {\stri \hbox{$\setminus$}\/}{\numb 0\/}\forquo \\
7 {\iden maxChar\/}\xspa{17} & $=$ & \xspa{1}\forquo {\stri \hbox{$\setminus$}\/}{\numb 255\/}\forquo