$use StdIO String Convert;
$string S;

Main =  <PrintLN <String-Ref <String 'abcdefghijkl'> 5 >>,
        <String-Init &S 5 '*'>,
        <PrintLN <String-Ref &S 3>>;