*** The function concat-chars takes arguments which are characters<BR>
and returns a string containing those characters.
<P>