This function formats a string in such a way that it may be used as
an argument to the eval function. The resulting string is
identical to str except that it is enclosed in double quotes and the
backslash, newline, and double quote characters are expanded.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}