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