ineno">    2</span>&#160;%</div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;% Examples:</div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;%   <span class="keywordtype">string</span> = user_string(string_name)</div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;%   saved = user_string(string_name, new_string)</div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;%</div><div class="li