// File: /workspace/github_cpp_makefile_star2_O1/reedoolang[P]reedoo/io.cc
// Function: doPRINT(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
void doPRINT(string toPrint) {
  if (toPrint.substr(0,6) == "string") {
    toPrint = toPrint.substr (7);
    toPrint = toPrint.substr(1,toPrint.size() - 2);
  } else if (toPrint.substr(0,3) == "num") {
    toPrint = toPrint.substr (4);
  } else if (toPrint.substr(0,4) == "expr") {
    toPrint = toPrint.substr (5);
    toPrint = rdo_eval(toPrint);
  }
  cout << toPrint << endl;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x40, %rsp
movq %rdi, %rbx
movq %rsp, %r14
movl $0x6, %ecx
movq %r14, %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x2200
leaq 0x108f(%rip), %rsi      # 0xe00a
movq %r14, %rdi
callq 0x20b0
movl %eax, %ebp
movq (%r14), %rdi
leaq 0x10(%rsp), %r15
cmpq %r15, %rdi
je 0xcf9f
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
movq %rsp, %r14
testl %ebp, %ebp
je 0xd0cb
movl $0x3, %ecx
movq %r14, %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x2200
leaq 0x1058(%rip), %rsi      # 0xe01b
movq %r14, %rdi
callq 0x20b0
movl %eax, %ebp
movq (%r14), %rdi
cmpq %r15, %rdi
je 0xcfe2
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
movq %rsp, %r14
testl %ebp, %ebp
je 0xd11a
movl $0x4, %ecx
movq %r14, %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x2200
leaq 0x13d8(%rip), %rsi      # 0xe3de
movq %r14, %rdi
callq 0x20b0
movl %eax, %ebp
movq (%r14), %rdi
cmpq %r15, %rdi
je 0xd025
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
testl %ebp, %ebp
jne 0xd151
movq %rsp, %r14
movl $0x5, %edx
movq %r14, %rdi
movq %rbx, %rsi
movq $-0x1, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2260
movq (%r14), %rdi
cmpq %r15, %rdi
je 0xd067
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
leaq 0x30(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
addq %rsi, %rdx
leaq 0x20(%rsp), %r14
movq %r14, %rdi
callq 0x31d0
movq %rsp, %rdi
movq %r14, %rsi
callq 0xafc7
movq %rsp, %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2260
movq (%r14), %rdi
cmpq %r15, %rdi
je 0xd0b6
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0xd151
movq 0x30(%rsp), %rsi
jmp 0xd149
movl $0x7, %edx
movq %r14, %rdi
movq %rbx, %rsi
movq $-0x1, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2260
movq (%r14), %rdi
cmpq %r15, %rdi
je 0xd102
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
movq 0x8(%rbx), %rcx
addq $-0x2, %rcx
movq %rsp, %r14
movl $0x1, %edx
movq %r14, %rdi
movq %rbx, %rsi
jmp 0xd12c
movl $0x4, %edx
movq %r14, %rdi
movq %rbx, %rsi
movq $-0x1, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2260
movq (%r14), %rdi
cmpq %r15, %rdi
je 0xd151
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21e0
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
movq 0x3e79(%rip), %rdi      # 0x10fd8
callq 0x2230
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21b0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2140
addq $0x40, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0xd1b5
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x21e0
movq %rbx, %rdi
callq 0x2320
nopl (%rax)