char buffer$[120]$;

char $*$second $=$ strtok$($liarg$"")$;

second $=$ strtok$($NULL$,"")$;

while$($second $!=$ NULL$)\{$

snprintf$($buffer$,30,"\%$s$",$second$)$;

second $=$ strtok$($NULL$,"")$;

$\}$

$//$ buffer$[$strlen$($buffer$)-1]=\text{'}\backslash 0\text{'}$;

printf$("\%$s$",$buffer$)$;