Use STRING instead of the internal function CHAR-TO-STRING