$use StdIO;

$channel C;

Main =
  <Open-File &C TEST-XXX W>,
  <PrintLN! &C Hello!>,
  <Close-Channel &C>,
  <Open-File &C TEST-XXX R>,
  <PrintLN <Read-Line! &C>>,
  <Close-Channel &C>,
  <Erase-File TEST-XXX>,
  {
    <Erase-File TEST-XXX>;
    <PrintLN OK!>;
  };