replace_first_char</h2>
<p>Pushes the top STRING, with the first occurence of the second topmost CHAR replaced with the top CHAR</p>
<h2><a href="#string-rest" id="string-rest"></a>:string_rest</h2>
<p>Pushes the rest of the top STRING (i.e. the string without its first letter)</p>
<h2><a href="#string-reverse" id="string-reverse"></a>:string_reverse</h2>
<p>Pushes the reverse of the top STRING</p>
<h2><a href="#string-set-char" id="string-set-char"></a>:string_set_char</h2>
<p>Pushes the top STRING, with t