// File: gprateek93[P]LaTeX_to_HTML/converter.cpp
// Function: converter::traverseDefault[abi:cxx11](ast_node*, int)
string converter :: traverseDefault(ast_node * root, int type){
    string s = "";
    s+="<"+getMapping(type)+">";
    s+=traverseChildren(root);
    s+="</"+getMapping(type)+">";
    return s;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x130, %rsp            # imm = 0x130
movq %rdi, -0x120(%rbp)
movq %rdi, %rax
movq %rax, -0x130(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x128(%rbp)
movb $0x0, -0x1d(%rbp)
leaq -0x1e(%rbp), %rdi
movq %rdi, -0x118(%rbp)
callq 0x34a0
movq -0x120(%rbp), %rdi
movq -0x118(%rbp), %rdx
leaq 0x5c97(%rip), %rsi      # 0x12566
callq 0x7b80
jmp 0xc8d6
leaq -0x1e(%rbp), %rdi
callq 0x32e0
movq -0x128(%rbp), %rsi
movl -0x1c(%rbp), %edx
leaq -0x90(%rbp), %rdi
callq 0xc220
jmp 0xc8f7
leaq 0x6208(%rip), %rsi      # 0x12b06
leaq -0x70(%rbp), %rdi
leaq -0x90(%rbp), %rdx
callq 0xe160
jmp 0xc910
leaq 0x6229(%rip), %rdx      # 0x12b40
leaq -0x50(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xe110
jmp 0xc926
movq -0x120(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x3360
jmp 0xc938
leaq -0x50(%rbp), %rdi
callq 0x3528
leaq -0x70(%rbp), %rdi
callq 0x3528
leaq -0x90(%rbp), %rdi
callq 0x3528
movq -0x128(%rbp), %rsi
movq -0x18(%rbp), %rdx
leaq -0xb0(%rbp), %rdi
callq 0xc270
jmp 0xc96f
movq -0x120(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x3360
jmp 0xc984
leaq -0xb0(%rbp), %rdi
callq 0x3528
movq -0x128(%rbp), %rsi
movl -0x1c(%rbp), %edx
leaq -0x110(%rbp), %rdi
callq 0xc220
jmp 0xc9a8
leaq 0x6159(%rip), %rsi      # 0x12b08
leaq -0xf0(%rbp), %rdi
leaq -0x110(%rbp), %rdx
callq 0xe160
jmp 0xc9c4
leaq 0x6175(%rip), %rdx      # 0x12b40
leaq -0xd0(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
callq 0xe110
jmp 0xc9e0
movq -0x120(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0x3360
jmp 0xc9f5
leaq -0xd0(%rbp), %rdi
callq 0x3528
leaq -0xf0(%rbp), %rdi
callq 0x3528
leaq -0x110(%rbp), %rdi
callq 0x3528
movb $0x1, -0x1d(%rbp)
testb $0x1, -0x1d(%rbp)
jne 0xcb16
jmp 0xcb0a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x1e(%rbp), %rdi
callq 0x32e0
jmp 0xcb32
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xcb26
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xca91
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xca88
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x50(%rbp), %rdi
callq 0x3528
leaq -0x70(%rbp), %rdi
callq 0x3528
leaq -0x90(%rbp), %rdi
callq 0x3528
jmp 0xcb26
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x3528
jmp 0xcb26
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xcafc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xcaf0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0xd0(%rbp), %rdi
callq 0x3528
leaq -0xf0(%rbp), %rdi
callq 0x3528
leaq -0x110(%rbp), %rdi
callq 0x3528
jmp 0xcb26
movq -0x120(%rbp), %rdi
callq 0x3528
movq -0x130(%rbp), %rax
addq $0x130, %rsp            # imm = 0x130
popq %rbp
retq
movq -0x120(%rbp), %rdi
callq 0x3528
movq -0x28(%rbp), %rdi
callq 0x3490
nopl (%rax,%rax)