$use StdIO;

$channel C;

Main =  <Open-File &C "test3" "R">,
        <Read! &C>::e.term,
        <Print e.term>, <Print ' '>
        <PrintLN>;