$use Arithm "RF_Stack" StdIO;

$func F = ;

F =
  0 $iter <"+" s.offset 1> :: s.offset,
  {
    $trap {
      <WriteLN <Func <"-" <Depth> s.offset>>>, Continue;
    }
    $with {
      e = <WriteLN <Depth>>, Break;
    };
  } : Break;

Main =
  <WriteLN <Func 2> 2>,
  <WriteLN <Func 1> 1>,
  <WriteLN <Func <Depth>> <Depth>>,
  <F>;