$use Box StdIO;

$box B;

Main = {
  <Open-File &B "open_file_inv1.rf" R>;
};