$use Convert;
$use StdIO;

Main =
  <PrintLN <To-Chars 0123 5 'abc' 678 '9 10'>>,
  <PrintLN <To-Chars ()> <To-Chars /*empty*/> <To-Chars ()>>,
  <PrintLN <To-Chars ((())) (()) ()>>,
  <PrintLN <To-Chars 123 (456 (789) 456) 123>>;