source: to-imperative/trunk/bootstrap/compiler/rfp_asail2asail.cc @ 1894

#include <rf_core.hh>
#include <refal/Arithm.hh>
#include <refal/StdIO.hh>
#include <refal/List.hh>

namespace refal
{

using namespace rfrt;

namespace rfp__asail2asail
{

RF_DECL (Simplify_m_ASAIL);

RF_DECL (Simplify_m_Infix);

RF_DECL (Simplify_m_Arithm);

RF_DECL (Eval_sp__a_);

RF_DECL (Eval_sp__p_);

RF_DECL (Eval_sp__s_);

RF_DECL (Eval_sp__percnt_);

RF_DECL (Eval_sp__m_);

RF_DECL (Simplify_m_Infix__0);

static Expr _c_0;

static Expr _c_1;

static Expr _c_2;

static Expr _c_3;

static Expr _c_4;

static Expr _c_17;

static Expr _c_5;

static Expr _c_6;

static Expr _c_7;

static Expr _c_8;

static Expr _c_9;

static Expr _c_10;

static Expr _c_11;

static Expr _c_12;

static Expr _c_13;

static Expr _c_14;

static Expr _c_15;

static Expr _c_16;

static Expr _c_18;

RF_FUNC (Simplify_m_ASAIL, (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__rest = (_v_len1 - _v_len2);
      Expr _vt_first (_v_arg1, 0, 1);
      Expr _ve_rest (_v_arg1, 1, _v_len__rest);
      Expr _ve_first;
      {
        {
          if (_vt_first.symbol_at (0))
          {
            goto _block2__branch1;
          }
          Expr _v_deref__first (_vt_first, 0);
          uintptr_t _v_len3 = _v_deref__first.get_len ();
          uintptr_t _v_len4 = 2;
          if ((_v_len3 < _v_len4))
          {
            goto _block2__branch1;
          }
          uintptr_t _v_len__body = (_v_len3 - _v_len4);
          if (_v_deref__first.symbol_at (1))
          {
            goto _block2__branch1;
          }
          Expr _v_deref__deref__first (_v_deref__first, 1);
          uintptr_t _v_len5 = _v_deref__deref__first.get_len ();
          uintptr_t _v_len6 = 0;
          if ((_v_len5 < _v_len6))
          {
            goto _block2__branch1;
          }
          uintptr_t _v_len__cond = (_v_len5 - _v_len6);
          if (!_c_0.term_eq (_v_deref__first, 0))
          {
            goto _block2__branch1;
          }
          Expr _ve_body (_v_deref__first, 2, _v_len__body);
          Expr _ve_cond (_v_deref__deref__first, 0, _v_len__cond);
          Expr _v_Map1;
          RF_CALL (List::Map, (_c_1, empty, _ve_cond), _v_Map1);
          {
            {
              if ((_v_Map1.get_len () != 1))
              {
                goto _block3__branch1;
              }
              if (!_c_2.term_eq (_v_Map1, 0))
              {
                goto _block3__branch1;
              }
              _ve_first = empty;
              goto _block3;
            }
          _block3__branch1: {}
            {
              if ((_v_Map1.get_len () != 1))
              {
                goto _block3__branch2;
              }
              if (!_c_3.term_eq (_v_Map1, 0))
              {
                goto _block3__branch2;
              }
              RF_CALL (Simplify_m_ASAIL, _ve_body, _ve_first);
              goto _block3;
            }
          _block3__branch2: {}
            uintptr_t _v_len7 = _v_Map1.get_len ();
            uintptr_t _v_len8 = 0;
            if ((_v_len7 < _v_len8))
            {
              RF_FUNC_ERROR (unexpected_fail);
            }
            uintptr_t _v_len__c = (_v_len7 - _v_len8);
            Expr _ve_c (_v_Map1, 0, _v_len__c);
            Expr _v_Simplify_m_ASAIL1;
            RF_CALL (Simplify_m_ASAIL, _ve_body, _v_Simplify_m_ASAIL1);
            _ve_first = (_c_0 + _ve_c () + _v_Simplify_m_ASAIL1) ();
          }
        _block3: {}
          goto _block2;
        }
      _block2__branch1: {}
        {
          if (_vt_first.symbol_at (0))
          {
            goto _block2__branch2;
          }
          Expr _v_deref__first2 (_vt_first, 0);
          uintptr_t _v_len9 = _v_deref__first2.get_len ();
          uintptr_t _v_len10 = 2;
          if ((_v_len9 < _v_len10))
          {
            goto _block2__branch2;
          }
          uintptr_t _v_len__expr = (_v_len9 - _v_len10);
          if (!_c_4.term_eq (_v_deref__first2, 0))
          {
            goto _block2__branch2;
          }
          Expr _vt_var (_v_deref__first2, 1, 1);
          Expr _ve_expr (_v_deref__first2, 2, _v_len__expr);
          Expr _v_Simplify_m_Arithm1;
          RF_CALL (Simplify_m_Arithm, _ve_expr (), _v_Simplify_m_Arithm1);
          _ve_first = (_c_4 + _vt_var + _v_Simplify_m_Arithm1) ();
          goto _block2;
        }
      _block2__branch2: {}
        {
          if (_vt_first.symbol_at (0))
          {
            goto _block2__branch3;
          }
          Expr _v_deref__first3 (_vt_first, 0);
          uintptr_t _v_len11 = _v_deref__first3.get_len ();
          uintptr_t _v_len12 = 0;
          if ((_v_len11 < _v_len12))
          {
            goto _block2__branch3;
          }
          uintptr_t _v_len__1 = (_v_len11 - _v_len12);
          Expr _ve_1 (_v_deref__first3, 0, _v_len__1);
          Expr _v_Simplify_m_ASAIL2;
          RF_CALL (Simplify_m_ASAIL, _ve_1, _v_Simplify_m_ASAIL2);
          _ve_first = _v_Simplify_m_ASAIL2 ();
          goto _block2;
        }
      _block2__branch3: {}
        if (!_vt_first.symbol_at (0))
        {
          RF_FUNC_ERROR (unexpected_fail);
        }
        Expr _vs_1 (_vt_first, 0, 1);
        _ve_first = _vs_1;
      }
    _block2: {}
      Expr _v_Simplify_m_ASAIL3;
      RF_CALL (Simplify_m_ASAIL, _ve_rest, _v_Simplify_m_ASAIL3);
      _v_res1 = (_ve_first + _v_Simplify_m_ASAIL3);
      goto _block1;
    }
  _block1__branch1: {}
    if ((_v_arg1.get_len () != 0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    _v_res1 = empty;
  }
_block1: {}
RF_END

RF_FUNC (Simplify_m_Infix, (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 = 2;
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch1;
      }
      uintptr_t _v_len__args = (_v_len1 - _v_len2);
      if (!_c_5.term_eq (_v_deref__arg1, 0))
      {
        goto _block1__branch1;
      }
      if (!_v_deref__arg1.symbol_at (1))
      {
        goto _block1__branch1;
      }
      Expr _vs_op (_v_deref__arg1, 1, 1);
      Expr _ve_args (_v_deref__arg1, 2, _v_len__args);
      Expr _v_auxblock1;
      {
        {
          if (!_vs_op.term_eq (_c_6, 0))
          {
            goto _block2__branch1;
          }
          Expr _v_Map1;
          RF_CALL (List::Map, (_c_7, empty, _ve_args), _v_Map1);
          RF_CALL (List::Foldr1, (_c_8, empty, _v_Map1), _v_auxblock1);
          goto _block2;
        }
      _block2__branch1: {}
        {
          if (!_vs_op.term_eq (_c_9, 0))
          {
            goto _block2__branch2;
          }
          Expr _v_Map2;
          RF_CALL (List::Map, (_c_7, empty, _ve_args), _v_Map2);
          RF_CALL (List::Foldr1, (_c_10, empty, _v_Map2), _v_auxblock1);
          goto _block2;
        }
      _block2__branch2: {}
        {
          if (!_vs_op.term_eq (_c_11, 0))
          {
            goto _block2__branch3;
          }
          Expr _v_Map3;
          RF_CALL (List::Map, (_c_7, empty, _ve_args), _v_Map3);
          RF_CALL (List::Foldr1, (_c_12, empty, _v_Map3), _v_auxblock1);
          goto _block2;
        }
      _block2__branch3: {}
        {
          if (!_vs_op.term_eq (_c_13, 0))
          {
            goto _block2__branch4;
          }
          Expr _v_Map4;
          RF_CALL (List::Map, (_c_7, empty, _ve_args), _v_Map4);
          RF_CALL (List::Foldr1, (_c_14, empty, _v_Map4), _v_auxblock1);
          goto _block2;
        }
      _block2__branch4: {}
        {
          if (!_vs_op.term_eq (_c_15, 0))
          {
            goto _block2__branch5;
          }
          Expr _v_Map5;
          RF_CALL (List::Map, (_c_7, empty, _ve_args), _v_Map5);
          RF_CALL (List::Foldr1, (_c_16, empty, _v_Map5), _v_auxblock1);
          goto _block2;
        }
      _block2__branch5: {}
        if (!_vs_op.symbol_at (0))
        {
          RF_FUNC_ERROR (unexpected_fail);
        }
        Expr _vs__e__e_tmp_m_rfp__asail2asailrf_m_36_m_6 (_vs_op, 0, 1);
        RF_CALL (List::Map, (_c_7, empty, _ve_args), _v_auxblock1);
      }
    _block2: {}
      {
        {
          if ((_v_auxblock1.get_len () != 1))
          {
            goto _block3__branch1;
          }
          Expr _vt_1 (_v_auxblock1, 0, 1);
          _v_res1 = _vt_1;
          goto _block3;
        }
      _block3__branch1: {}
        uintptr_t _v_len3 = _v_auxblock1.get_len ();
        uintptr_t _v_len4 = 0;
        if ((_v_len3 < _v_len4))
        {
          RF_FUNC_ERROR (unexpected_fail);
        }
        uintptr_t _v_len__1 = (_v_len3 - _v_len4);
        Expr _ve_1 (_v_auxblock1, 0, _v_len__1);
        Expr _v_Paren1;
        RF_CALL (List::Paren, _ve_1, _v_Paren1);
        _v_res1 = (_c_5 + _vs_op + _v_Paren1) ();
      }
    _block3: {}
      goto _block1;
    }
  _block1__branch1: {}
    {
      if (_v_arg1.symbol_at (0))
      {
        goto _block1__branch2;
      }
      Expr _v_deref__arg12 (_v_arg1, 0);
      uintptr_t _v_len5 = _v_deref__arg12.get_len ();
      uintptr_t _v_len6 = 0;
      if ((_v_len5 < _v_len6))
      {
        goto _block1__branch2;
      }
      uintptr_t _v_len__12 = (_v_len5 - _v_len6);
      Expr _ve_1 (_v_deref__arg12, 0, _v_len__12);
      Expr _v_Map6;
      RF_CALL (List::Map, (_c_1, empty, _ve_1), _v_Map6);
      _v_res1 = _v_Map6 ();
      goto _block1;
    }
  _block1__branch2: {}
    if (!_v_arg1.symbol_at (0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _vs_1 (_v_arg1, 0, 1);
    _v_res1 = _vs_1;
  }
_block1: {}
RF_END

RF_FUNC (Simplify_m_Arithm, (RF_ARG _v_arg1;;), (RF_RES _v_res1;;))
  if ((_v_arg1.get_len () != 1))
  {
    RF_FUNC_ERROR (unexpected_fail);
  }
  if (_v_arg1.symbol_at (0))
  {
    RF_FUNC_ERROR (unexpected_fail);
  }
  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))
  {
    RF_FUNC_ERROR (unexpected_fail);
  }
  uintptr_t _v_len__args = (_v_len1 - _v_len2);
  Expr _ve_args (_v_deref__arg1, 0, _v_len__args);
  Expr _v_Map1;
  RF_CALL (List::Map, (_c_1, empty, _ve_args), _v_Map1);
  Expr _v_Foldr11;
  RF_CALL (List::Foldr1, (_c_14, empty, _v_Map1), _v_Foldr11);
  {
    {
      if ((_v_Foldr11.get_len () != 1))
      {
        goto _block1__branch1;
      }
      Expr _vt_1 (_v_Foldr11, 0, 1);
      _v_res1 = _vt_1;
      goto _block1;
    }
  _block1__branch1: {}
    uintptr_t _v_len3 = _v_Foldr11.get_len ();
    uintptr_t _v_len4 = 0;
    if ((_v_len3 < _v_len4))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__1 = (_v_len3 - _v_len4);
    Expr _ve_1 (_v_Foldr11, 0, _v_len__1);
    Expr _v_Paren1;
    RF_CALL (List::Paren, _ve_1, _v_Paren1);
    _v_res1 = (_c_17 + _v_Paren1) ();
  }
_block1: {}
RF_END

RF_FUNC (Eval_sp__a_, (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___e__e_tmp_m_rfp__asail2asailrf_m_52_m_7 = (_v_len1 - _v_len2);
      if (!_c_2.term_eq (_v_arg1, 0))
      {
        goto _block1__branch1;
      }
      Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_52_m_7 (_v_arg1, 1, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_52_m_7);
      _v_res1 = _c_2;
      goto _block1;
    }
  _block1__branch1: {}
    {
      uintptr_t _v_len3 = _v_arg1.get_len ();
      uintptr_t _v_len4 = 1;
      if ((_v_len3 < _v_len4))
      {
        goto _block1__branch2;
      }
      uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_53_m_4 = (_v_len3 - _v_len4);
      if (!_c_2.term_eq (_v_arg1, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_53_m_4))
      {
        goto _block1__branch2;
      }
      Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_53_m_4 (_v_arg1, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_53_m_4);
      _v_res1 = _c_2;
      goto _block1;
    }
  _block1__branch2: {}
    {
      uintptr_t _v_len5 = _v_arg1.get_len ();
      uintptr_t _v_len6 = 1;
      if ((_v_len5 < _v_len6))
      {
        goto _block1__branch3;
      }
      uintptr_t _v_len__2 = (_v_len5 - _v_len6);
      if (!_c_3.term_eq (_v_arg1, 0))
      {
        goto _block1__branch3;
      }
      Expr _ve_2 (_v_arg1, 1, _v_len__2);
      _v_res1 = _ve_2;
      goto _block1;
    }
  _block1__branch3: {}
    {
      uintptr_t _v_len7 = _v_arg1.get_len ();
      uintptr_t _v_len8 = 1;
      if ((_v_len7 < _v_len8))
      {
        goto _block1__branch4;
      }
      uintptr_t _v_len__1 = (_v_len7 - _v_len8);
      if (!_c_3.term_eq (_v_arg1, _v_len__1))
      {
        goto _block1__branch4;
      }
      Expr _ve_1 (_v_arg1, 0, _v_len__1);
      _v_res1 = _ve_1;
      goto _block1;
    }
  _block1__branch4: {}
    {
      uintptr_t _v_len9 = _v_arg1.get_len ();
      uintptr_t _v_len10 = 2;
      if ((_v_len9 < _v_len10))
      {
        goto _block1__branch5;
      }
      uintptr_t _v_len__22 = (_v_len9 - _v_len10);
      if (!_v_arg1.symbol_at (0))
      {
        goto _block1__branch5;
      }
      if (!_v_arg1.symbol_at ((_v_len__22 + 1)))
      {
        goto _block1__branch5;
      }
      Expr _vs_1 (_v_arg1, 0, 1);
      Expr _ve_2 (_v_arg1, 1, _v_len__22);
      Expr _vs_3 (_v_arg1, (_v_len__22 + 1), 1);
      Expr _v__a_1;
      RF_CALL (Arithm::_a_, (_vs_1, _vs_3), _v__a_1);
      _v_res1 = (_ve_2 + _v__a_1);
      goto _block1;
    }
  _block1__branch5: {}
    {
      uintptr_t _v_len11 = _v_arg1.get_len ();
      uintptr_t _v_len12 = 1;
      if ((_v_len11 < _v_len12))
      {
        goto _block1__branch6;
      }
      uintptr_t _v_len__23 = (_v_len11 - _v_len12);
      if (!_v_arg1.symbol_at (0))
      {
        goto _block1__branch6;
      }
      Expr _vs_1 (_v_arg1, 0, 1);
      Expr _ve_2 (_v_arg1, 1, _v_len__23);
      _v_res1 = (_ve_2 + _vs_1);
      goto _block1;
    }
  _block1__branch6: {}
    _v_res1 = _v_arg1;
  }
_block1: {}
RF_END

RF_FUNC (Eval_sp__p_, (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__2 = (_v_len1 - _v_len2);
      if (!_c_2.term_eq (_v_arg1, 0))
      {
        goto _block1__branch1;
      }
      Expr _ve_2 (_v_arg1, 1, _v_len__2);
      _v_res1 = _ve_2;
      goto _block1;
    }
  _block1__branch1: {}
    {
      uintptr_t _v_len3 = _v_arg1.get_len ();
      uintptr_t _v_len4 = 1;
      if ((_v_len3 < _v_len4))
      {
        goto _block1__branch2;
      }
      uintptr_t _v_len__1 = (_v_len3 - _v_len4);
      if (!_c_2.term_eq (_v_arg1, _v_len__1))
      {
        goto _block1__branch2;
      }
      Expr _ve_1 (_v_arg1, 0, _v_len__1);
      _v_res1 = _ve_1;
      goto _block1;
    }
  _block1__branch2: {}
    {
      uintptr_t _v_len5 = _v_arg1.get_len ();
      uintptr_t _v_len6 = 2;
      if ((_v_len5 < _v_len6))
      {
        goto _block1__branch3;
      }
      uintptr_t _v_len__22 = (_v_len5 - _v_len6);
      if (!_v_arg1.symbol_at (0))
      {
        goto _block1__branch3;
      }
      if (!_v_arg1.symbol_at ((_v_len__22 + 1)))
      {
        goto _block1__branch3;
      }
      Expr _vs_1 (_v_arg1, 0, 1);
      Expr _ve_2 (_v_arg1, 1, _v_len__22);
      Expr _vs_3 (_v_arg1, (_v_len__22 + 1), 1);
      Expr _v__p_1;
      RF_CALL (Arithm::_p_, (_vs_1, _vs_3), _v__p_1);
      _v_res1 = (_ve_2 + _v__p_1);
      goto _block1;
    }
  _block1__branch3: {}
    {
      uintptr_t _v_len7 = _v_arg1.get_len ();
      uintptr_t _v_len8 = 1;
      if ((_v_len7 < _v_len8))
      {
        goto _block1__branch4;
      }
      uintptr_t _v_len__23 = (_v_len7 - _v_len8);
      if (!_v_arg1.symbol_at (0))
      {
        goto _block1__branch4;
      }
      Expr _vs_1 (_v_arg1, 0, 1);
      Expr _ve_2 (_v_arg1, 1, _v_len__23);
      _v_res1 = (_ve_2 + _vs_1);
      goto _block1;
    }
  _block1__branch4: {}
    _v_res1 = _v_arg1;
  }
_block1: {}
RF_END

RF_FUNC (Eval_sp__s_, (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__1 = (_v_len1 - _v_len2);
      if (!_c_3.term_eq (_v_arg1, _v_len__1))
      {
        goto _block1__branch1;
      }
      Expr _ve_1 (_v_arg1, 0, _v_len__1);
      _v_res1 = _ve_1;
      goto _block1;
    }
  _block1__branch1: {}
    _v_res1 = _v_arg1;
  }
_block1: {}
RF_END

RF_FUNC (Eval_sp__percnt_, (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__1 = (_v_len1 - _v_len2);
      if (!_c_3.term_eq (_v_arg1, _v_len__1))
      {
        goto _block1__branch1;
      }
      Expr _ve_1 (_v_arg1, 0, _v_len__1);
      _v_res1 = _c_2;
      goto _block1;
    }
  _block1__branch1: {}
    _v_res1 = _v_arg1;
  }
_block1: {}
RF_END

RF_FUNC (Eval_sp__m_, (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__1 = (_v_len1 - _v_len2);
      if (!_c_2.term_eq (_v_arg1, _v_len__1))
      {
        goto _block1__branch1;
      }
      Expr _ve_1 (_v_arg1, 0, _v_len__1);
      _v_res1 = _ve_1;
      goto _block1;
    }
  _block1__branch1: {}
    _v_res1 = _v_arg1;
  }
_block1: {}
RF_END

RF_FUNC (Simplify_m_Infix__0, (RF_ARG _v_arg1;;), (RF_RES _v_res1;;))
  if ((_v_arg1.get_len () != 1))
  {
    RF_ERROR (_c_18);
  }
  Expr _v_stub1 (_v_arg1, 0, 1);
  RF_CALL (Simplify_m_Infix, _v_stub1, _v_res1);
RF_END

}

namespace rfp__asail2asail
{

static void init_ ()
{
  _c_0 = Expr::create<Word>("IF");
  _c_1 = Expr::create_sym<Func> (Simplify_m_Infix__0);
  _c_2 = Expr::create<Integer>("0");
  _c_3 = Expr::create<Integer>("1");
  _c_4 = Expr::create<Word>("INT");
  _c_17 = Expr::create<Word>("INFIX") + Expr::create<Word>("+");
  _c_5 = Expr (_c_17, 0, 1);
  _c_6 = Expr::create<Word>("*");
  _c_7 = Expr::create_sym<Func> (Simplify_m_Arithm);
  _c_8 = Expr::create_sym<Func> (Eval_sp__a_);
  _c_9 = Expr::create<Word>("/");
  _c_10 = Expr::create_sym<Func> (Eval_sp__s_);
  _c_11 = Expr::create<Word>("%");
  _c_12 = Expr::create_sym<Func> (Eval_sp__percnt_);
  _c_13 = Expr (_c_17, 1, 1);
  _c_14 = Expr::create_sym<Func> (Eval_sp__p_);
  _c_15 = Expr::create<Word>("-");
  _c_16 = Expr::create_sym<Func> (Eval_sp__m_);
  _c_18 = Expr::create<Word>("Apply") + Expr::create<Word>("Apply") + Expr::create<Word>("Unexpected fail");
}

static AtStart init_registrator_ (&init_);

}

}