// File: /workspace/github_cpp_makefile_star2_O2/pointwiseproduct[P]untyped_lambda/untyped_lambda.cpp
// Function: tokenize_phase2::tokenize(std::vector<tokenize_phase1::token_t, std::allocator<tokenize_phase1::token_t>> const&)
token_seq_type tokenize(const tokenize_phase1::token_seq_type &vec){
        token_seq_type r;
        for(auto iter = vec.begin(); iter != vec.end(); ++iter){
            auto t = *iter;
            if(t.kind == tokenize_phase1::token_t::kind_t::lparen){
                auto lookahead = *(iter + 1);
                if(lookahead.kind == tokenize_phase1::token_t::kind_t::asterisk){
                    iter += 2;
                    for(; ; ++iter){
                        t = *iter;
                        if(t.kind == tokenize_phase1::token_t::kind_t::end){
                            throw unexpected_eof();
                        }
                        if(
                            t.kind == tokenize_phase1::token_t::kind_t::asterisk &&
                            (iter + 1)->kind == tokenize_phase1::token_t::kind_t::rparen
                        ){
                            ++iter;
                            break;
                        }
                    }
                    continue;
                }else{
                    token_t u;
                    u.beg = t.iter;
                    u.end = t.iter + 1;
                    u.line = t.line;
                    u.colunm = t.colunm;
                    u.kind = token_t::kind_t::lparen;
                    r.push_back(u);
                    continue;
                }
            }else if(t.kind != tokenize_phase1::token_t::kind_t::charactor){
                switch(t.kind){
                case tokenize_phase1::token_t::kind_t::lambda:
                    {
                        token_t u;
                        u.beg = t.iter;
                        u.end = t.iter + 1;
                        u.line = t.line;
                        u.colunm = t.colunm;
                        u.kind = token_t::kind_t::lambda;
                        r.push_back(u);
                    }
                    break;

                case tokenize_phase1::token_t::kind_t::equal:
                    {
                        token_t u;
                        u.beg = t.iter;
                        u.end = t.iter + 1;
                        u.line = t.line;
                        u.colunm = t.colunm;
                        u.kind = token_t::kind_t::equal;
                        r.push_back(u);
                    }
                    break;

                case tokenize_phase1::token_t::kind_t::dot:
                    {
                        token_t u;
                        u.beg = t.iter;
                        u.end = t.iter + 1;
                        u.line = t.line;
                        u.colunm = t.colunm;
                        u.kind = token_t::kind_t::dot;
                        r.push_back(u);
                    }
                    break;

                case tokenize_phase1::token_t::kind_t::lparen:
                    {
                        token_t u;
                        u.beg = t.iter;
                        u.end = t.iter + 1;
                        u.line = t.line;
                        u.colunm = t.colunm;
                        u.kind = token_t::kind_t::lparen;
                        r.push_back(u);
                    }
                    break;

                case tokenize_phase1::token_t::kind_t::rparen:
                    {
                        token_t u;
                        u.beg = t.iter;
                        u.end = t.iter + 1;
                        u.line = t.line;
                        u.colunm = t.colunm;
                        u.kind = token_t::kind_t::rparen;
                        r.push_back(u);
                    }
                    break;

                case tokenize_phase1::token_t::kind_t::end:
                    {
                        token_t u;
                        u.beg = t.iter;
                        u.end = t.iter;
                        u.line = t.line;
                        u.colunm = t.colunm;
                        u.kind = token_t::kind_t::end;
                        r.push_back(u);
                    }
                    break;
                }
                continue;
            }else if(t.kind == tokenize_phase1::token_t::kind_t::charactor){
                token_t u;
                u.beg = t.iter;
                u.line = t.line;
                u.colunm = t.colunm;
                u.kind = token_t::kind_t::variable;
                while(iter->kind == tokenize_phase1::token_t::kind_t::charactor){
                    ++iter;
                }
                u.end = iter->iter;
                --iter;
                r.push_back(u);
                continue;
            }
        }
        return r;
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x30, %rsp
movq %rsi, %r14
movq %rdi, %rbx
xorps %xmm0, %xmm0
andq $0x0, 0x10(%rdi)
movups %xmm0, (%rdi)
movq (%rsi), %r13
leaq 0x54ec(%rip), %r12      # 0x9024
leaq 0x8(%rsp), %r15
cmpq 0x8(%r14), %r13
je 0x3cea
movl (%r13), %esi
decl %esi
cmpl $0x7, %esi
ja 0x3ce1
movq 0x8(%r13), %rdx
movq 0x10(%r13), %rcx
movq 0x18(%r13), %rax
movslq (%r12,%rsi,4), %rsi
addq %r12, %rsi
jmpq *%rsi
andq $0x0, 0x18(%rsp)
movq %rdx, 0x10(%rsp)
movq %rcx, 0x20(%rsp)
movq %rax, 0x28(%rsp)
andl $0x0, 0x8(%rsp)
addq $-0x40, %r13
cmpl $0x1, 0x40(%r13)
leaq 0x20(%r13), %r13
je 0x3b89
movq 0x28(%r13), %rax
movq %rax, 0x18(%rsp)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x59f4
jmp 0x3ce1
movq %rdx, 0x10(%rsp)
incq %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, 0x20(%rsp)
movq %rax, 0x28(%rsp)
movl $0x5, 0x8(%rsp)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x59f4
jmp 0x3ce1
movq %rdx, 0x10(%rsp)
incq %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, 0x20(%rsp)
movq %rax, 0x28(%rsp)
movl $0x2, 0x8(%rsp)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x59f4
jmp 0x3ce1
movq %rdx, 0x10(%rsp)
movq %rdx, 0x18(%rsp)
movq %rcx, 0x20(%rsp)
movq %rax, 0x28(%rsp)
movl $0x6, 0x8(%rsp)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x59f4
jmp 0x3ce1
movq %rdx, 0x10(%rsp)
incq %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, 0x20(%rsp)
movq %rax, 0x28(%rsp)
movl $0x1, 0x8(%rsp)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x59f4
jmp 0x3ce1
movq %rdx, 0x10(%rsp)
incq %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, 0x20(%rsp)
movq %rax, 0x28(%rsp)
movl $0x3, 0x8(%rsp)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x59f4
jmp 0x3ce1
cmpl $0x3, 0x20(%r13)
jne 0x3cb7
addq $0x60, %r13
movl -0x20(%r13), %eax
cmpl $0x3, %eax
je 0x3caa
cmpl $0x8, %eax
jne 0x3cb1
jmp 0x3cfb
cmpl $0x7, (%r13)
je 0x3ce1
addq $0x20, %r13
jmp 0x3c9a
movq %rdx, 0x10(%rsp)
incq %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, 0x20(%rsp)
movq %rax, 0x28(%rsp)
movl $0x4, 0x8(%rsp)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x59f4
addq $0x20, %r13
jmp 0x3b3d
movq %rbx, %rax
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
pushq $0x10
popq %rdi
callq 0x3150
movq %rax, %r15
movq %rax, %rdi
callq 0x5994
leaq 0x9ddb(%rip), %rsi      # 0xdaf0
movq 0xa2a4(%rip), %rdx      # 0xdfc0
movq %r15, %rdi
callq 0x3360
jmp 0x3d32
jmp 0x3d32
jmp 0x3d32
jmp 0x3d32
jmp 0x3d32
jmp 0x3d32
jmp 0x3d32
movq %rax, %r14
jmp 0x3d42
movq %rax, %r14
movq %r15, %rdi
callq 0x31b0
movq %rbx, %rdi
callq 0x7536
movq %r14, %rdi
callq 0x3370