$use StdIO String Convert;
$string S;

Main =  <PrintLN <String 'abcdefghijkl' "abc" 123>>,
        <String-Init &S 5 '*'>,
        <WriteLN <To-Chars &S>>;