source: to-imperative/trunk/library/List/List.cc @ 2037

#include <rf_core.hh>
#include <refal/Access.hh>
#include <refal/Apply.hh>
#include <refal/Compare.hh>
#include <refal/Arithm.hh>

namespace refal
{

using namespace rfrt;

namespace List
{

RF_DECL (Deparen_m_Term);

RF_DECL (Paren_m_Term);

RF_DECL (Zip);

RF_DECL (Map);

RF_DECL (Filter);

RF_DECL (Split);

RF_DECL (Elem_q_);

RF_DECL (Get_m_Elem);

RF_DECL (Foldr);

RF_DECL (Foldr1);

RF_DECL (Concat);

RF_DECL (Paren);

RF_DECL (Reverse);

RF_DECL (Intersperse);

RF_DECL (Nub);

RF_DECL (Replicate);

RF_DECL (Entries);

RF_DECL (Or);

RF_DECL (And);

RF_DECL (Sub);

RF_DECL (Paren_m_Term__0);

RF_DECL (Deparen_m_Term__0);

static Expr _c_0;

static Expr _c_1;

static Expr _c_2;

static Expr _c_3;

static Expr _c_4;

RF_FUNC (Deparen_m_Term, (RF_ARG _v_arg1;;), (RF_RES _v_res1;;))
  {
    {
      if (_v_arg1.symbol_at (0))
      {
        goto _block1__branch1;
      }
      Expr _v_deref__arg1 (_v_arg1, 0);
      uintptr_t _v_len1 = _v_deref__arg1.get_len ();
      uintptr_t _v_len2 = 0;
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch1;
      }
      uintptr_t _v_len__xpr = (_v_len1 - _v_len2);
      Expr _ve_xpr (_v_deref__arg1, 0, _v_len__xpr);
      _v_res1 = _ve_xpr;
      goto _block1;
    }
  _block1__branch1: {}
    _v_res1 = _v_arg1;
  }
_block1: {}
RF_END

RF_FUNC (Paren_m_Term, (RF_ARG _vt_erm;;), (RF_RES _v_res1;;))
  _v_res1 = _vt_erm;
RF_END

RF_FUNC (Zip, (RF_ARG _ve_list1, _ve_list2;;), (RF_RES _v_res1;;))
  Expr _v_list1__1 (_ve_list1);
  Expr _v_list2__1 (_ve_list2);
  Expr _ve_new_m_list (empty);
  for ( ; ; )
  {
    {
      if ((_v_list1__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_new_m_list;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_list2__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest2 = (_v_len1 - _v_len2);
    uintptr_t _v_len3 = _v_list1__1.get_len ();
    uintptr_t _v_len4 = 1;
    if ((_v_len3 < _v_len4))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest1 = (_v_len3 - _v_len4);
    Expr _vt_first1 (_v_list1__1, 0, 1);
    Expr _ve_rest1 (_v_list1__1, 1, _v_len__rest1);
    Expr _vt_first2 (_v_list2__1, 0, 1);
    Expr _ve_rest2 (_v_list2__1, 1, _v_len__rest2);
    _v_list1__1 = _ve_rest1;
    _v_list2__1 = _ve_rest2;
    _ve_new_m_list = (_ve_new_m_list + (_vt_first1 + _vt_first2) ());
  }
_exit__iter1: {}
RF_END

RF_FUNC (Map, (RF_ARG _vs_Fname, _ve_Fargs, _ve_list;;), (RF_RES _v_res1;;))
  Expr _ve_new_m_list (empty);
  Expr _v_list__1 (_ve_list);
  for ( ; ; )
  {
    {
      if ((_v_list__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_new_m_list;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_list__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    Expr _vt_item (_v_list__1, 0, 1);
    Expr _ve_rest (_v_list__1, 1, _v_len__rest);
    Expr _v_Apply1;
    if (!RF_CALL (Apply::Apply, (_vs_Fname, (_ve_Fargs + _vt_item)), _v_Apply1))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    _ve_new_m_list = (_ve_new_m_list + _v_Apply1);
    _v_list__1 = _ve_rest;
  }
_exit__iter1: {}
RF_END

RF_FUNC (Filter, (RF_ARG _vs_Fname, _ve_Fargs, _ve_list;;), (RF_RES _v_res1;;))
  Expr _ve_new_m_list (empty);
  Expr _v_list__1 (_ve_list);
  for ( ; ; )
  {
    {
      if ((_v_list__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_new_m_list;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_list__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    Expr _vt_item (_v_list__1, 0, 1);
    Expr _ve_rest (_v_list__1, 1, _v_len__rest);
    {
      {
        Expr _v_Apply1;
        if (!RF_CALL (Apply::Apply, (_vs_Fname, (_ve_Fargs + _vt_item)), _v_Apply1))
        {
          goto _block2__branch1;
        }
        uintptr_t _v_len3 = _v_Apply1.get_len ();
        uintptr_t _v_len4 = 0;
        if ((_v_len3 < _v_len4))
        {
          goto _block2__branch1;
        }
        uintptr_t _v_len___e__e_tmp_m_Listrf_m_36_m_41 = (_v_len3 - _v_len4);
        Expr _ve__e__e_tmp_m_Listrf_m_36_m_41 (_v_Apply1, 0, _v_len___e__e_tmp_m_Listrf_m_36_m_41);
        _ve_new_m_list = (_ve_new_m_list + _vt_item);
        _v_list__1 = _ve_rest;
        goto _block2;
      }
    _block2__branch1: {}
      _v_list__1 = _ve_rest;
    }
  _block2: {}
  }
_exit__iter1: {}
RF_END

RF_FUNC (Split, (RF_ARG _vs_Fname, _ve_Fargs, _ve_list;;), (RF_RES _v_res1, _v_res2;;))
  Expr _ve_true_m_list (empty);
  Expr _ve_false_m_list (empty);
  Expr _v_list__1 (_ve_list);
  for ( ; ; )
  {
    {
      if ((_v_list__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_true_m_list;
      _v_res2 = _ve_false_m_list;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_list__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    Expr _vt_item (_v_list__1, 0, 1);
    Expr _ve_rest (_v_list__1, 1, _v_len__rest);
    {
      {
        Expr _v_Apply1;
        if (!RF_CALL (Apply::Apply, (_vs_Fname, (_ve_Fargs + _vt_item)), _v_Apply1))
        {
          goto _block2__branch1;
        }
        uintptr_t _v_len3 = _v_Apply1.get_len ();
        uintptr_t _v_len4 = 0;
        if ((_v_len3 < _v_len4))
        {
          goto _block2__branch1;
        }
        uintptr_t _v_len___e__e_tmp_m_Listrf_m_47_m_41 = (_v_len3 - _v_len4);
        Expr _ve__e__e_tmp_m_Listrf_m_47_m_41 (_v_Apply1, 0, _v_len___e__e_tmp_m_Listrf_m_47_m_41);
        _ve_true_m_list = (_ve_true_m_list + _vt_item);
        _v_list__1 = _ve_rest;
        goto _block2;
      }
    _block2__branch1: {}
      _ve_false_m_list = (_ve_false_m_list + _vt_item);
      _v_list__1 = _ve_rest;
    }
  _block2: {}
  }
_exit__iter1: {}
RF_END

RF_FUNC (Elem_q_, (RF_ARG _ve_list, _vt_item;;), RF_VOID)
  if (((_ve_list.get_len () < (1 + 0 + 0))))
  {
    RF_RETFAIL;
  }
  RF_lsplit (_ve_list, 0, _ve__e__e_tmp_m_Listrf_m_56_m_13, _v_lsplit__list);
  for ( ; ; RF_iter(_ve_list)++)
  {
    {
      if (!RF_iter(_ve_list))
      {
        RF_RETFAIL;
      }
      uintptr_t _v_len1 = _v_lsplit__list.get_len ();
      uintptr_t _v_len2 = 1;
      if (((_v_len1 < (_v_len2 + (0 * 1)))))
      {
        RF_RETFAIL;
      }
      if (((_v_len1 - _v_len2) % 1))
      {
        goto _continue1;
      }
      uintptr_t _v_len___e__e_tmp_m_Listrf_m_56_m_22 = ((_v_len1 - _v_len2) / 1);
      if (!_vt_item.term_eq (_v_lsplit__list, 0))
      {
        goto _continue1;
      }
      Expr _ve__e__e_tmp_m_Listrf_m_56_m_22 (_v_lsplit__list, (0 + 1), _v_len___e__e_tmp_m_Listrf_m_56_m_22);
      goto _exit1;
    }
_continue1: {}
  }
_exit1: {}
RF_END

RF_FUNC (Get_m_Elem, (RF_ARG _vs_num, _ve_list;;), (RF_RES _v_res1;;))
  if (!RF_CALL (Access::L, (_vs_num, _ve_list), _v_res1))
  {
    RF_FUNC_ERROR (unexpected_fail);
  }
RF_END

RF_FUNC (Foldr, (RF_ARG _vs_Fname, _ve_Fargs, _ve_value, _ve_list;;), (RF_RES _v_res1;;))
  Expr _v_value__1 (_ve_value);
  Expr _v_list__1 (_ve_list);
  for ( ; ; )
  {
    {
      if ((_v_list__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _v_value__1;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_list__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__something = (_v_len1 - _v_len2);
    Expr _ve_something (_v_list__1, 0, _v_len__something);
    Expr _vt_last (_v_list__1, _v_len__something, 1);
    if (!RF_CALL (Apply::Apply, (_vs_Fname, (_ve_Fargs + _vt_last + _v_value__1)), _v_value__1))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    _v_list__1 = _ve_something;
  }
_exit__iter1: {}
RF_END

RF_FUNC (Foldr1, (RF_ARG _vs_Fname, _ve_Fargs, _ve_list;;), (RF_RES _v_res1;;))
  {
    {
      uintptr_t _v_len1 = _ve_list.get_len ();
      uintptr_t _v_len2 = 1;
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch1;
      }
      uintptr_t _v_len__something = (_v_len1 - _v_len2);
      Expr _ve_something (_ve_list, 0, _v_len__something);
      Expr _vt_last (_ve_list, _v_len__something, 1);
      RF_TAILCALL (Foldr, (_vs_Fname, _ve_Fargs, _vt_last, _ve_something), _v_res1);
      goto _block1;
    }
  _block1__branch1: {}
    _v_res1 = empty;
  }
_block1: {}
RF_END

RF_FUNC (Concat, (RF_ARG _ve_lists;;), (RF_RES _v_res1;;))
  RF_TAILCALL (Map, (_c_0, empty, _ve_lists), _v_res1);
RF_END

RF_FUNC (Paren, (RF_ARG _ve_xpr;;), (RF_RES _v_res1;;))
  RF_TAILCALL (Map, (_c_1, empty, _ve_xpr), _v_res1);
RF_END

RF_FUNC (Reverse, (RF_ARG _v_arg1;;), (RF_RES _v_res1;;))
  {
    {
      uintptr_t _v_len1 = _v_arg1.get_len ();
      uintptr_t _v_len2 = 1;
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch1;
      }
      uintptr_t _v_len__list = (_v_len1 - _v_len2);
      Expr _vt_erm (_v_arg1, 0, 1);
      Expr _ve_list (_v_arg1, 1, _v_len__list);
      Expr _v_Reverse1;
      RF_CALL (Reverse, _ve_list, _v_Reverse1);
      _v_res1 = (_v_Reverse1 + _vt_erm);
      goto _block1;
    }
  _block1__branch1: {}
    if ((_v_arg1.get_len () != 0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    _v_res1 = empty;
  }
_block1: {}
RF_END

RF_FUNC (Intersperse, (RF_ARG _ve_sep, _ve_list;;), (RF_RES _v_res1;;))
  Expr _ve_new_m_list (empty);
  Expr _v_list__1 (_ve_list);
  for ( ; ; )
  {
    {
      if ((_v_list__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_new_m_list;
      goto _exit__iter1;
    }
  _iter1: {}
    {
      {
        uintptr_t _v_len1 = _v_list__1.get_len ();
        uintptr_t _v_len2 = 1;
        if ((_v_len1 < (_v_len2 + 1)))
        {
          goto _block1__branch1;
        }
        uintptr_t _v_len__2 = (_v_len1 - _v_len2);
        Expr _vt_1 (_v_list__1, 0, 1);
        Expr _vv_2 (_v_list__1, 1, _v_len__2);
        _ve_new_m_list = (_ve_new_m_list + _vt_1 + _ve_sep);
        _v_list__1 = _vv_2;
        goto _block1;
      }
    _block1__branch1: {}
      _ve_new_m_list = (_ve_new_m_list + _v_list__1);
      _v_list__1 = empty;
    }
  _block1: {}
  }
_exit__iter1: {}
RF_END

RF_FUNC (Nub, (RF_ARG _ve_expr;;), (RF_RES _v_res1;;))
  Expr _v_expr__1 (_ve_expr);
  Expr _ve_selected (empty);
  for ( ; ; )
  {
    {
      if ((_v_expr__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_selected;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_expr__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    Expr _vt_erm (_v_expr__1, 0, 1);
    Expr _ve_rest (_v_expr__1, 1, _v_len__rest);
    {
      {
        if ((_ve_selected.get_len () < 1))
        {
          goto _block2__branch1;
        }
        RF_lsplit (_ve_selected, 0, _ve__e__e_tmp_m_Listrf_m_95_m_21, _v_lsplit__selected);
        for ( ; ; RF_iter(_ve_selected)++)
        {
          {
            if (!RF_iter(_ve_selected))
            {
              goto _block2__branch1;
            }
            uintptr_t _v_len3 = _v_lsplit__selected.get_len ();
            uintptr_t _v_len4 = 1;
            if ((_v_len3 < _v_len4))
            {
              goto _block2__branch1;
            }
            uintptr_t _v_len___e__e_tmp_m_Listrf_m_95_m_28 = (_v_len3 - _v_len4);
            if (!_vt_erm.term_eq (_v_lsplit__selected, 0))
            {
              goto _continue1;
            }
            Expr _ve__e__e_tmp_m_Listrf_m_95_m_28 (_v_lsplit__selected, 1, _v_len___e__e_tmp_m_Listrf_m_95_m_28);
            _v_expr__1 = _ve_rest;
            goto _exit1;
          }
      _continue1: {}
        }
      _exit1: {}
        goto _block2;
      }
    _block2__branch1: {}
      _v_expr__1 = _ve_rest;
      _ve_selected = (_ve_selected + _vt_erm);
    }
  _block2: {}
  }
_exit__iter1: {}
RF_END

RF_FUNC (Replicate, (RF_ARG _vs_n, _ve_expr;;), (RF_RES _v_res1;;))
  Expr _v_n__1 (_vs_n);
  Expr _ve_list (empty);
  for ( ; ; )
  {
    {
      if (!RF_CALL (Compare::_lt__eq_, (_v_n__1, _c_2), /*void*/))
      {
        goto _iter1;
      }
      _v_res1 = _ve_list;
      goto _exit__iter1;
    }
  _iter1: {}
    RF_CALL (Arithm::_m_, (_v_n__1, _c_3), _v_n__1);
    _ve_list = (_ve_list + _ve_expr);
  }
_exit__iter1: {}
RF_END

RF_FUNC (Entries, (RF_ARG _ve_expr, _ve_source;;), (RF_RES _v_res1, _v_res2;;))
  Expr _vs_num (_c_2);
  Expr _v_source__1 (_ve_source);
  Expr _ve_res (empty);
  for ( ; ; )
  {
    {
      if ((_v_source__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _vs_num;
      _v_res2 = _ve_res;
      goto _exit__iter1;
    }
  _iter1: {}
    {
      {
        if ((_v_source__1.get_len () < _ve_expr.get_len ()))
        {
          goto _block1__branch1;
        }
        RF_lsplit (_v_source__1, 0, _ve_1, _v_lsplit__source__1);
        for ( ; ; RF_iter(_v_source__1)++)
        {
          {
            if (!RF_iter(_v_source__1))
            {
              goto _block1__branch1;
            }
            uintptr_t _v_len1 = _v_lsplit__source__1.get_len ();
            uintptr_t _v_len2 = _ve_expr.get_len ();
            if ((_v_len1 < _v_len2))
            {
              goto _block1__branch1;
            }
            uintptr_t _v_len__2 = (_v_len1 - _v_len2);
            if (!_ve_expr.eq (_v_lsplit__source__1, 0))
            {
              goto _continue1;
            }
            Expr _ve_2 (_v_lsplit__source__1, _ve_expr.get_len (), _v_len__2);
            RF_CALL (Arithm::_p_, (_vs_num, _c_3), _vs_num);
            _v_source__1 = _ve_2;
            _ve_res = (_ve_res + _ve_1);
            goto _exit1;
          }
      _continue1: {}
        }
      _exit1: {}
        goto _block1;
      }
    _block1__branch1: {}
      _ve_res = (_ve_res + _v_source__1);
      _v_source__1 = empty;
    }
  _block1: {}
  }
_exit__iter1: {}
RF_END

RF_FUNC (Or, (RF_ARG _ve_list1, _ve_list2;;), (RF_RES _v_res1;;))
  Expr _v_list1__1 (_ve_list1);
  Expr _v_list2__1 (_ve_list2);
  for ( ; ; )
  {
    {
      if ((_v_list2__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _v_list1__1;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_list2__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    Expr _vt_erm (_v_list2__1, 0, 1);
    Expr _ve_rest (_v_list2__1, 1, _v_len__rest);
    {
      {
        if ((_v_list1__1.get_len () < 1))
        {
          goto _block2__branch1;
        }
        RF_lsplit (_v_list1__1, 0, _ve__e__e_tmp_m_Listrf_m_127_m_20, _v_lsplit__list1__1);
        for ( ; ; RF_iter(_v_list1__1)++)
        {
          {
            if (!RF_iter(_v_list1__1))
            {
              goto _block2__branch1;
            }
            uintptr_t _v_len3 = _v_lsplit__list1__1.get_len ();
            uintptr_t _v_len4 = 1;
            if ((_v_len3 < _v_len4))
            {
              goto _block2__branch1;
            }
            uintptr_t _v_len___e__e_tmp_m_Listrf_m_127_m_27 = (_v_len3 - _v_len4);
            if (!_vt_erm.term_eq (_v_lsplit__list1__1, 0))
            {
              goto _continue1;
            }
            Expr _ve__e__e_tmp_m_Listrf_m_127_m_27 (_v_lsplit__list1__1, 1, _v_len___e__e_tmp_m_Listrf_m_127_m_27);
            _v_list2__1 = _ve_rest;
            goto _exit1;
          }
      _continue1: {}
        }
      _exit1: {}
        goto _block2;
      }
    _block2__branch1: {}
      _v_list1__1 = (_v_list1__1 + _vt_erm);
      _v_list2__1 = _ve_rest;
    }
  _block2: {}
  }
_exit__iter1: {}
RF_END

RF_FUNC (And, (RF_ARG _ve_list1, _ve_list2;;), (RF_RES _v_res1;;))
  Expr _v_list1__1 (_ve_list1);
  Expr _ve_and (empty);
  for ( ; ; )
  {
    {
      if ((_v_list1__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_and;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_list1__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    Expr _vt_erm (_v_list1__1, 0, 1);
    Expr _ve_rest (_v_list1__1, 1, _v_len__rest);
    {
      {
        if ((_ve_list2.get_len () < 1))
        {
          goto _block2__branch1;
        }
        RF_lsplit (_ve_list2, 0, _ve__e__e_tmp_m_Listrf_m_141_m_20, _v_lsplit__list2);
        for ( ; ; RF_iter(_ve_list2)++)
        {
          {
            if (!RF_iter(_ve_list2))
            {
              goto _block2__branch1;
            }
            uintptr_t _v_len3 = _v_lsplit__list2.get_len ();
            uintptr_t _v_len4 = 1;
            if ((_v_len3 < _v_len4))
            {
              goto _block2__branch1;
            }
            uintptr_t _v_len___e__e_tmp_m_Listrf_m_141_m_27 = (_v_len3 - _v_len4);
            if (!_vt_erm.term_eq (_v_lsplit__list2, 0))
            {
              goto _continue1;
            }
            Expr _ve__e__e_tmp_m_Listrf_m_141_m_27 (_v_lsplit__list2, 1, _v_len___e__e_tmp_m_Listrf_m_141_m_27);
            _v_list1__1 = _ve_rest;
            _ve_and = (_ve_and + _vt_erm);
            goto _exit1;
          }
      _continue1: {}
        }
      _exit1: {}
        goto _block2;
      }
    _block2__branch1: {}
      _v_list1__1 = _ve_rest;
    }
  _block2: {}
  }
_exit__iter1: {}
RF_END

RF_FUNC (Sub, (RF_ARG _ve_list1, _ve_list2;;), (RF_RES _v_res1;;))
  Expr _v_list1__1 (_ve_list1);
  Expr _ve_not (empty);
  for ( ; ; )
  {
    {
      if ((_v_list1__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_not;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_list1__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    Expr _vt_erm (_v_list1__1, 0, 1);
    Expr _ve_rest (_v_list1__1, 1, _v_len__rest);
    {
      {
        if ((_ve_list2.get_len () < 1))
        {
          goto _block2__branch1;
        }
        RF_lsplit (_ve_list2, 0, _ve__e__e_tmp_m_Listrf_m_155_m_20, _v_lsplit__list2);
        for ( ; ; RF_iter(_ve_list2)++)
        {
          {
            if (!RF_iter(_ve_list2))
            {
              goto _block2__branch1;
            }
            uintptr_t _v_len3 = _v_lsplit__list2.get_len ();
            uintptr_t _v_len4 = 1;
            if ((_v_len3 < _v_len4))
            {
              goto _block2__branch1;
            }
            uintptr_t _v_len___e__e_tmp_m_Listrf_m_155_m_27 = (_v_len3 - _v_len4);
            if (!_vt_erm.term_eq (_v_lsplit__list2, 0))
            {
              goto _continue1;
            }
            Expr _ve__e__e_tmp_m_Listrf_m_155_m_27 (_v_lsplit__list2, 1, _v_len___e__e_tmp_m_Listrf_m_155_m_27);
            _v_list1__1 = _ve_rest;
            goto _exit1;
          }
      _continue1: {}
        }
      _exit1: {}
        goto _block2;
      }
    _block2__branch1: {}
      _v_list1__1 = _ve_rest;
      _ve_not = (_ve_not + _vt_erm);
    }
  _block2: {}
  }
_exit__iter1: {}
RF_END

RF_FUNC (Paren_m_Term__0, (RF_ARG _v_arg1;;), (RF_RES _v_res1;;))
  if ((_v_arg1.get_len () != 1))
  {
    RF_ERROR (_c_4);
  }
  Expr _v_stub1 (_v_arg1, 0, 1);
  Expr _v_Paren_m_Term1;
  RF_CALL (Paren_m_Term, _v_stub1, _v_Paren_m_Term1);
  _v_res1 = _v_Paren_m_Term1 ();
RF_END

RF_FUNC (Deparen_m_Term__0, (RF_ARG _v_arg1;;), (RF_RES _v_res1;;))
  if ((_v_arg1.get_len () != 1))
  {
    RF_ERROR (_c_4);
  }
  Expr _v_stub1 (_v_arg1, 0, 1);
  RF_TAILCALL (Deparen_m_Term, _v_stub1, _v_res1);
RF_END

}

namespace List
{

static void init_ ()
{
  _c_0 = Expr::create_sym<Func> (Deparen_m_Term__0);
  _c_1 = Expr::create_sym<Func> (Paren_m_Term__0);
  _c_2 = Expr::create<Integer>("0");
  _c_3 = Expr::create<Integer>("1");
  _c_4 = Expr::create<Word>("Apply") + Expr::create<Word>("Apply") + Expr::create<Word>("Unexpected fail");
}

static AtStart init_registrator_ (&init_);

}

}