$use Box StdIO;

$box B;

$func Main = e;
Main =
  {
    A B C : e1 e2,
      <Put &B (e1)>,
      $fail;
    <WriteLn <Get &B>>;
  };