// File: 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:
subq $0x268, %rsp            # imm = 0x268
movq %rdi, 0x60(%rsp)
movq %rdi, %rax
movq %rax, 0x68(%rsp)
movq %rdi, 0x260(%rsp)
movq %rsi, 0x258(%rsp)
movb $0x0, 0x257(%rsp)
callq 0xb620
movq 0x258(%rsp), %rdi
callq 0xb630
movq %rax, 0x248(%rsp)
movq 0x258(%rsp), %rdi
callq 0xb6a0
movq %rax, 0x240(%rsp)
leaq 0x248(%rsp), %rdi
leaq 0x240(%rsp), %rsi
callq 0xb660
testb $0x1, %al
jne 0x6599
jmp 0x6c45
leaq 0x248(%rsp), %rdi
callq 0xb6d0
movq (%rax), %rcx
movq %rcx, 0x220(%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x228(%rsp)
movq 0x10(%rax), %rcx
movq %rcx, 0x230(%rsp)
movq 0x18(%rax), %rax
movq %rax, 0x238(%rsp)
cmpl $0x6, 0x220(%rsp)
jne 0x6814
leaq 0x248(%rsp), %rdi
movl $0x1, %esi
callq 0xb6e0
movq %rax, 0x1f8(%rsp)
leaq 0x1f8(%rsp), %rdi
callq 0xb6d0
movq (%rax), %rcx
movq %rcx, 0x200(%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x208(%rsp)
movq 0x10(%rax), %rcx
movq %rcx, 0x210(%rsp)
movq 0x18(%rax), %rax
movq %rax, 0x218(%rsp)
cmpl $0x3, 0x200(%rsp)
jne 0x6787
leaq 0x248(%rsp), %rdi
movl $0x2, %esi
callq 0xb720
leaq 0x248(%rsp), %rdi
callq 0xb6d0
movq (%rax), %rcx
movq %rcx, 0x220(%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x228(%rsp)
movq 0x10(%rax), %rcx
movq %rcx, 0x230(%rsp)
movq 0x18(%rax), %rax
movq %rax, 0x238(%rsp)
cmpl $0x8, 0x220(%rsp)
jne 0x6714
movl $0x10, %edi
callq 0x5180
movq %rax, %rdi
movq %rdi, %rax
movq %rax, 0x58(%rsp)
callq 0xb740
jmp 0x66bb
movq 0x58(%rsp), %rdi
leaq 0x1f221(%rip), %rsi     # 0x258e8
leaq 0x5132(%rip), %rdx      # 0xb800
callq 0x5590
jmp 0x6c85
movq 0x58(%rsp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1f0(%rsp)
movl %eax, 0x1ec(%rsp)
callq 0x52a0
jmp 0x6c6e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1f0(%rsp)
movl %eax, 0x1ec(%rsp)
jmp 0x6c6e
xorl %eax, %eax
cmpl $0x3, 0x220(%rsp)
movb %al, 0x57(%rsp)
jne 0x6755
leaq 0x248(%rsp), %rdi
movl $0x1, %esi
callq 0xb6e0
movq %rax, 0x1e0(%rsp)
leaq 0x1e0(%rsp), %rdi
callq 0xb810
cmpl $0x7, (%rax)
sete %al
movb %al, 0x57(%rsp)
movb 0x57(%rsp), %al
testb $0x1, %al
jne 0x675f
jmp 0x676e
leaq 0x248(%rsp), %rdi
callq 0xb820
jmp 0x6782
jmp 0x6770
leaq 0x248(%rsp), %rdi
callq 0xb820
jmp 0x6659
jmp 0x6c33
leaq 0x1b8(%rsp), %rdi
movq %rdi, 0x48(%rsp)
callq 0xb840
leaq 0x228(%rsp), %rdi
movq 0x228(%rsp), %rax
movq %rax, 0x1c0(%rsp)
movl $0x1, %esi
callq 0xb870
movq 0x60(%rsp), %rdi
movq 0x48(%rsp), %rsi
movq %rax, 0x1b0(%rsp)
movq 0x1b0(%rsp), %rax
movq %rax, 0x1c8(%rsp)
movq 0x230(%rsp), %rax
movq %rax, 0x1d0(%rsp)
movq 0x238(%rsp), %rax
movq %rax, 0x1d8(%rsp)
movl $0x4, 0x1b8(%rsp)
callq 0xb8b0
jmp 0x680f
jmp 0x6c33
cmpl $0x1, 0x220(%rsp)
je 0x6b84
movl 0x220(%rsp), %eax
addl $-0x2, %eax
movl %eax, %ecx
movq %rcx, 0x40(%rsp)
subl $0x6, %eax
ja 0x6b7f
movq 0x40(%rsp), %rax
leaq 0x1490c(%rip), %rcx     # 0x1b154
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x188(%rsp), %rdi
movq %rdi, 0x38(%rsp)
callq 0xb840
leaq 0x228(%rsp), %rdi
movq 0x228(%rsp), %rax
movq %rax, 0x190(%rsp)
movl $0x1, %esi
callq 0xb870
movq 0x60(%rsp), %rdi
movq 0x38(%rsp), %rsi
movq %rax, 0x180(%rsp)
movq 0x180(%rsp), %rax
movq %rax, 0x198(%rsp)
movq 0x230(%rsp), %rax
movq %rax, 0x1a0(%rsp)
movq 0x238(%rsp), %rax
movq %rax, 0x1a8(%rsp)
movl $0x1, 0x188(%rsp)
callq 0xb8b0
jmp 0x68d9
jmp 0x6b7f
leaq 0x158(%rsp), %rdi
movq %rdi, 0x30(%rsp)
callq 0xb840
leaq 0x228(%rsp), %rdi
movq 0x228(%rsp), %rax
movq %rax, 0x160(%rsp)
movl $0x1, %esi
callq 0xb870
movq 0x60(%rsp), %rdi
movq 0x30(%rsp), %rsi
movq %rax, 0x150(%rsp)
movq 0x150(%rsp), %rax
movq %rax, 0x168(%rsp)
movq 0x230(%rsp), %rax
movq %rax, 0x170(%rsp)
movq 0x238(%rsp), %rax
movq %rax, 0x178(%rsp)
movl $0x2, 0x158(%rsp)
callq 0xb8b0
jmp 0x6966
jmp 0x6b7f
leaq 0x128(%rsp), %rdi
movq %rdi, 0x28(%rsp)
callq 0xb840
leaq 0x228(%rsp), %rdi
movq 0x228(%rsp), %rax
movq %rax, 0x130(%rsp)
movl $0x1, %esi
callq 0xb870
movq 0x60(%rsp), %rdi
movq 0x28(%rsp), %rsi
movq %rax, 0x120(%rsp)
movq 0x120(%rsp), %rax
movq %rax, 0x138(%rsp)
movq 0x230(%rsp), %rax
movq %rax, 0x140(%rsp)
movq 0x238(%rsp), %rax
movq %rax, 0x148(%rsp)
movl $0x3, 0x128(%rsp)
callq 0xb8b0
jmp 0x69f3
jmp 0x6b7f
leaq 0xf8(%rsp), %rdi
movq %rdi, 0x20(%rsp)
callq 0xb840
leaq 0x228(%rsp), %rdi
movq 0x228(%rsp), %rax
movq %rax, 0x100(%rsp)
movl $0x1, %esi
callq 0xb870
movq 0x60(%rsp), %rdi
movq 0x20(%rsp), %rsi
movq %rax, 0xf0(%rsp)
movq 0xf0(%rsp), %rax
movq %rax, 0x108(%rsp)
movq 0x230(%rsp), %rax
movq %rax, 0x110(%rsp)
movq 0x238(%rsp), %rax
movq %rax, 0x118(%rsp)
movl $0x4, 0xf8(%rsp)
callq 0xb8b0
jmp 0x6a80
jmp 0x6b7f
leaq 0xc8(%rsp), %rdi
movq %rdi, 0x18(%rsp)
callq 0xb840
leaq 0x228(%rsp), %rdi
movq 0x228(%rsp), %rax
movq %rax, 0xd0(%rsp)
movl $0x1, %esi
callq 0xb870
movq 0x60(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq %rax, 0xc0(%rsp)
movq 0xc0(%rsp), %rax
movq %rax, 0xd8(%rsp)
movq 0x230(%rsp), %rax
movq %rax, 0xe0(%rsp)
movq 0x238(%rsp), %rax
movq %rax, 0xe8(%rsp)
movl $0x5, 0xc8(%rsp)
callq 0xb8b0
jmp 0x6b0d
jmp 0x6b7f
leaq 0x98(%rsp), %rdi
movq %rdi, 0x10(%rsp)
callq 0xb840
movq 0x60(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq 0x228(%rsp), %rax
movq %rax, 0xa0(%rsp)
movq 0x228(%rsp), %rax
movq %rax, 0xa8(%rsp)
movq 0x230(%rsp), %rax
movq %rax, 0xb0(%rsp)
movq 0x238(%rsp), %rax
movq %rax, 0xb8(%rsp)
movl $0x6, 0x98(%rsp)
callq 0xb8b0
jmp 0x6b7d
jmp 0x6b7f
jmp 0x6c33
cmpl $0x1, 0x220(%rsp)
jne 0x6c2d
leaq 0x70(%rsp), %rdi
callq 0xb840
movq 0x228(%rsp), %rax
movq %rax, 0x78(%rsp)
movq 0x230(%rsp), %rax
movq %rax, 0x88(%rsp)
movq 0x238(%rsp), %rax
movq %rax, 0x90(%rsp)
movl $0x0, 0x70(%rsp)
leaq 0x248(%rsp), %rdi
callq 0xb810
cmpl $0x1, (%rax)
jne 0x6bf2
leaq 0x248(%rsp), %rdi
callq 0xb820
jmp 0x6bd1
leaq 0x248(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0xb810
movq 0x8(%rsp), %rdi
movq 0x8(%rax), %rax
movq %rax, 0x80(%rsp)
callq 0xb920
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0xb8b0
jmp 0x6c2b
jmp 0x6c33
jmp 0x6c2f
jmp 0x6c31
jmp 0x6c33
leaq 0x248(%rsp), %rdi
callq 0xb820
jmp 0x6566
movb $0x1, 0x257(%rsp)
testb $0x1, 0x257(%rsp)
jne 0x6c61
movq 0x60(%rsp), %rdi
callq 0xb940
movq 0x68(%rsp), %rax
addq $0x268, %rsp            # imm = 0x268
retq
movq 0x60(%rsp), %rdi
callq 0xb940
movq 0x1f0(%rsp), %rdi
callq 0x55c0
nopw %cs:(%rax,%rax)