$use Box StdIO;

$func Main = e;
Main =
  <Box A B C> :: s.box,
  $iter
    # \{
      <Get s.box> : s1 e2 =
        <PrintLn s1>,
        <Store s.box e2>;
    };